Statements (114)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:topology computer science |
gptkbp:hasConcept |
gptkb:Functor
gptkb:algebra gptkb:topology gptkb:website gptkb:fiber gptkb:operating_system gptkb:homotopy_category gptkb:Yoneda_lemma gptkb:monoidal_category musical composition end Grothendieck topology morphism sheaf object mermaid limit abelian category derived category isomorphism long exact sequence t-structure 2-category additive category adjoint functor adjunction braided monoidal category cartesian closed category closed monoidal category coend coequalizer colimit comma category coproduct enriched category epimorphism equalizer equivalence of categories essentially surjective functor exact sequence 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 n-category natural transformation pointed category preadditive category presheaf procategory profunctor pullback pushout representable functor slice category split epimorphism split monomorphism stack strict functor subobject classifier symmetric monoidal category terminal object triangulated category universal arrow universal mapping property universal morphism universal property zero object coalgebra short exact sequence free object bicategory cartesian product cofiber product cokernel commutative diagram comonad diagram chase equivalence of functors external category forgetful functor identity morphism ind-object lax natural transformation motivic category opfibration opposite category pro-object split exact sequence strict natural transformation |
https://www.w3.org/2000/01/rdf-schema#label |
Category Theory
|
gptkbp:introduced |
gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg |
gptkbp:introducedIn |
1945
|
gptkbp:studies |
categories
functors natural transformations |
gptkbp:bfsParent |
gptkb:Monads
|
gptkbp:bfsLayer |
6
|