|
gptkbp:instanceOf
|
concept in category theory
|
|
gptkbp:appearsIn
|
gptkb:Categories_for_the_Working_Mathematician
gptkb:Handbook_of_Categorical_Algebra
|
|
gptkbp:definedIn
|
diagram (category theory)
universal cone over a diagram
|
|
gptkbp:describes
|
universal property
|
|
gptkbp:field
|
gptkb:mathematics
gptkb:category_theory
|
|
gptkbp:formedBy
|
gptkb:cone_(category_theory)
universal morphism
|
|
gptkbp:generalizes
|
gptkb:equalizer_(category_theory)
gptkb:product_(category_theory)
gptkb:pullback_(category_theory)
inverse limit
|
|
gptkbp:hasDual
|
gptkb:colimit_(category_theory)
|
|
gptkbp:hasProperty
|
gptkb:Functor
gptkb:dictionary
mermaid
cone
universal morphism
|
|
gptkbp:hasSpecialCase
|
gptkb:equalizer_(category_theory)
gptkb:product_(category_theory)
gptkb:pullback_(category_theory)
fiber product
terminal object
inverse limit
|
|
gptkbp:hasType
|
projective limit
equalizer
pullback
inverse limit
filtered limit
finite limit
small limit
|
|
gptkbp:introduced
|
gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg
|
|
gptkbp:introducedIn
|
1940s
|
|
gptkbp:notation
|
lim D
lim← D
|
|
gptkbp:relatedConcept
|
gptkb:colimit_(category_theory)
adjoint functor
representable functor
universal property
|
|
gptkbp:usedIn
|
gptkb:algebraic_geometry
gptkb:logic
gptkb:topology
computer science
model theory
homological algebra
topos theory
universal algebra
functor categories
|
|
gptkbp:bfsParent
|
gptkb:Universal_(mathematics)
|
|
gptkbp:bfsLayer
|
6
|