Son işleç - Final functor - Wikipedia

İçinde kategori teorisi, Kavramı son işleç (resp. ilk işlev) kavramının bir genellemesidir son nesne (ilk nesne) bir kategori.

Bir functor denir final herhangi bir set değerli functor için , eşzamanlı olmak nın-nin G colimit ile aynıdır . Unutmayın ki bir nesne d ∈ Ob (D) olağan anlamda nihai bir nesnedir, ancak ve ancak functor burada tanımlandığı gibi son bir işlevdir.

Kavramı ilk işlev yukarıdaki gibi tanımlanır, yerine final tarafından ilk ve eşzamanlı olmak tarafından limit.

Referanslar

  • Adámek, J .; Rosický, J .; Vitale, E.M. (2010), Cebirsel Teoriler: Genel Cebire Kategorik Bir Giriş, Matematikte Cambridge Yolları, 184, Cambridge University Press, Tanım 2.12, s. 24, ISBN  9781139491884.
  • Cordier, J. M .; Porter, T. (2013), Şekil Teorisi: Kategorik Yaklaşım Yöntemleri Dover Books on Mathematics, Courier Corporation, s. 37, ISBN  9780486783475.
  • Riehl, Emily (2014), Kategorik Homotopi Teorisi, Yeni Matematiksel Monografiler, 24, Cambridge University Press, Tanım 8.3.2, s. 127.

Ayrıca bakınız