Statements (115)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:topology computer science |
| gptkbp:hasConcept |
gptkb:mermaid
gptkb:musical_composition gptkb:Functor gptkb:algebra gptkb:topology gptkb:website gptkb:fiber gptkb:operating_system gptkb:isomorphism gptkb:Grothendieck_topology gptkb:homotopy_category gptkb:Yoneda_lemma gptkb:monoidal_category gptkb:object gptkb:adjunction gptkb:exact_sequence gptkb:equalizer gptkb:sheaf end morphism limit abelian category derived category long exact sequence t-structure 2-category additive category adjoint functor braided monoidal category cartesian closed category closed monoidal category coend coequalizer colimit comma category coproduct enriched category epimorphism equivalence of categories essentially surjective functor 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 |
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg |
| gptkbp:introducedIn |
1945
|
| gptkbp:studies |
categories
functors natural transformations |
| gptkbp:bfsParent |
gptkb:Graduate_Studies_in_Mathematics
gptkb:Axiomatic_Set_Theory |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Category Theory
|