En teoría de categorías , la noción de funtor final (resp. funtor inicial ) es una generalización de la noción de objeto final (resp. objeto inicial) en una categoría .
Un funtor se denomina final si, para cualquier funtor de valor conjunto , el colímite de G es el mismo que el colímite de . Nótese que un objeto d ∈ Ob( D ) es un objeto final en el sentido habitual si y solo si el funtor es un funtor final como se define aquí.
La noción de funtor inicial se define como arriba, reemplazando final por inicial y colimit por limit .
Referencias
- Adámek, J.; Rosický, J .; Vitale, EM (2010), Teorías algebraicas: una introducción categórica al álgebra general, Cambridge Tracts in Mathematics, vol. 184, Cambridge University Press, Definición 2.12, pág. 24, ISBN 9781139491884.
- Cordier, JM; Porter, T. (2013), Teoría de la forma: métodos categóricos de aproximación, Dover Books on Mathematics, Courier Corporation, pág. 37, ISBN 9780486783475.
- Riehl, Emily (2014), Teoría de la homotopía categórica, New Mathematical Monographs, vol. 24, Cambridge University Press, Definición 8.3.2, pág. 127.
Enlaces externos
- http://ncatlab.org/nlab/show/final+functor