Subterminální objekt - Subterminal object

v teorie kategorií, obor matematiky, a subterminální objekt je objekt X a kategorie C s vlastností, ze které každý objekt C má maximálně jednu morfismus do X.[1] Li X je subterminální, pak dvojice morfismů identity (1X, 1X) dělá X do produkt z X a X. Li C má koncový objekt 1, pak objekt X je subterminál právě tehdy, pokud se jedná o a podobjekt 1, odtud název.[2] Kategorie kategorií se zachováním subterminálních objektů a funktorů není přístupné.[3]

Reference

  1. ^ Pitt, David; Rydeheard, David E .; Johnstone, Peter (12. září 1995). Teorie kategorie a informatika: 6. mezinárodní konference, CTCS '95, Cambridge, Velká Británie, 7. - 11. srpna 1995. Sborník. Springer. Citováno 18. února 2017.
  2. ^ Ong, Luke (10. března 2010). Základy softwarové vědy a výpočetní struktury: 13. mezinárodní konference, FOSSACS 2010, koná se jako součást společných evropských konferencí o teorii a praxi softwaru, ETAPS 2010, Paphos, Kypr, 20. – 28. Března 2010, sborník. Springer. ISBN  9783642120329. Citováno 18. února 2017.
  3. ^ Barr, Michael; Wells, Charles (září 1992). „Omezení skic“. Kanadský matematický bulletin. Sv. 35 č. 3. Kanadská matematická společnost.

externí odkazy