Statements (111)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:topology computer science |
| gptkbp:hasConcept |
gptkb:product_line
gptkb:Functor gptkb:topology gptkb:website gptkb:fiber gptkb:isomorphism gptkb:Grothendieck_topology gptkb:Grothendieck_construction gptkb:Kan_extension gptkb:Yoneda_lemma gptkb:object gptkb:adjunction gptkb:exact_sequence gptkb:operad gptkb:equalizer gptkb:sheaf end homology cohomology morphism tensor product homotopy limit abelian category 2-category additive category adjoint functor 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 equivalence of categories essentially surjective functor 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 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 |
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg |
| gptkbp:introducedIn |
1940s
|
| gptkbp:studies |
categories
functors natural transformations |
| gptkbp:bfsParent |
gptkb:Saunders_Mac_Lane
gptkb:Zermelo–Fraenkel_set_theory gptkb:lambda_calculus gptkb:Set_Theory |
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
category theory
|