Skica (matematika) - Sketch (mathematics)

V matematický teorie Kategorie, a skica je kategorie D, společně se sadou šišky zamýšlel být limity a sada kokosů zamýšlených jako kolimity. A Modelka náčrtu v kategorii C je funktor

který vezme každý určený kužel na mezní kužel v C a každý specifikovaný kokon na kolimitový kokon v C. Morfismy modelů jsou přirozené transformace. Náčrtky jsou obecným způsobem specifikování struktur na objektech kategorie, které tvoří teoreticko-teoretický analogický logický koncept teorie a jeho modely. Umožňují vícesortové modely a modely v jakékoli kategorii.

Náčrtky vynalezl v roce 1968 Charles Ehresmann pomocí jiné, ale ekvivalentní definice. Ve výzkumné literatuře existují ještě další definice.

Reference

  • Adámek, Jiří; Rosický, Jiří (1994), Lokálně prezentovatelné a přístupné kategorie, Série přednášek London Mathematical Society, 189, Cambridge: Cambridge University Press, doi:10.1017 / CBO9780511600579, ISBN  0-521-42261-2, PAN  1294136.
  • Barr, Michael; Wells, Charlesi (2005), Topózy, trojice a teorie, Dotisky v teorii a aplikacích kategorií, 12 (přepracované vydání), PAN  2178101.
  • Borceux, Francis (1994), Příručka kategorické algebry. 2. Kategorie a strukturyEncyklopedie matematiky a její aplikace, 51, Cambridge: Cambridge University Press, ISBN  0-521-44179-X, PAN  1313497.
  • Ehresmann, Charles (1968), „Esquisses et types des structures algébriques“, Bul. Inst. Politehn. Iaşi (NS), 14 (18) (fasc. 1-2): 1–14, PAN  0238918.
  • Johnstone, Peter T. (2002), Náčrtky slona: souhrn teorie topos. Sv. 2, Oxford Logic Guides, 44Oxford: The Clarendon Press, Oxford University Press, ISBN  0-19-851598-7, PAN  2063092.
  • Makkai, Michael; Paré, Robert (1989), Dostupné kategorie: Základy teorie kategorického modelu, Současná matematika, 104, Providence, RI: American Mathematical Society, ISBN  0-8218-5111-X, PAN  1031717.

externí odkazy