Kategorie vkládače - Inserter category

v teorie kategorií, pobočka matematika, kategorie vkládače je variace kategorie čárky kde se od dvou funktorů vyžaduje, aby měli stejnou kategorii domény.

Definice

Li C a D jsou dvě kategorie a F a G jsou dva funktory z C na D, kategorie vložení Ins (F, G) je kategorie, jejíž objekty jsou páry (X, F) kde X je předmětem C a F je morfismus v D z F(X) až G(X) a jejichž morfismy z (X, F) do (Y, G) jsou morfismy h v C z X na Y takhle ${ displaystyle G (h) circ f = g circ F (h)}$ .^[1]

Vlastnosti

Li C a D jsou místně prezentovatelné, F a G jsou funktory z C na D, a buď F je souvislé nebo G je kontinuální; pak kategorie vkládače Ins (F, G) je také místně prezentovatelný.^[2]

Reference

^ Seely, R. A. G. (1992). Teorie kategorie 1991: Sborník z mezinárodního setkání teorie letních kategorií, které se konalo ve dnech 23. – 30. Června 1991. Americká matematická společnost. ISBN 0821860186. Citováno 11. února 2017.
^ Adámek, J .; Rosický, J. (10. března 1994). Lokálně prezentovatelné a přístupné kategorie. Cambridge University Press. ISBN 0521422612. Citováno 11. února 2017.

Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Seely, R. A. G. (1992). Teorie kategorie 1991: Sborník z mezinárodního setkání teorie letních kategorií, které se konalo ve dnech 23. – 30. Června 1991. Americká matematická společnost. ISBN 0821860186. Citováno 11. února 2017.

[2] Adámek, J .; Rosický, J. (10. března 1994). Lokálně prezentovatelné a přístupné kategorie. Cambridge University Press. ISBN 0521422612. Citováno 11. února 2017.

[1]

[2]