Statements (108)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:topology computer science |
| gptkbp:hasConcept |
gptkb:Functor
gptkb:topology gptkb:website gptkb:fiber gptkb:Grothendieck_construction gptkb:Kan_extension gptkb:Yoneda_lemma end homology Grothendieck topology cohomology morphism sheaf tensor product product line object homotopy limit abelian category isomorphism 2-category additive category adjoint functor adjunction bifunctor braided monoidal category cartesian closed category categorification closed monoidal category coend coequalizer cofibration colimit comma category contravariant functor coproduct coreflective subcategory covariant functor decategorification dense functor double category endofunctor enriched category epimorphism equalizer equivalence of categories essentially surjective functor exact sequence factorization system faithful functor fiber product fibered category full functor functor category higher category hom-set ind-category initial object internal category lax functor model category monoid monomorphism multicategory n-category natural isomorphism natural transformation operad orthogonal factorization system pointed category preadditive category presheaf procategory profunctor pullback pullback square pushout pushout square reflective subcategory representable functor simplicial object slice category split epimorphism split monomorphism strict functor subobject classifier symmetric monoidal category terminal object triangulated category universal arrow universal mapping property universal morphism universal property zero object |
| https://www.w3.org/2000/01/rdf-schema#label |
category theory
|
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg |
| gptkbp:introducedIn |
1940s
|
| gptkbp:studies |
categories
functors natural transformations |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|