cone (category theory)

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
category theory concept
gptkbp:component apex
family of morphisms
gptkbp:definedIn diagram (category theory)
gptkbp:field gptkb:category_theory
gptkbp:hasDual cocone (category theory)
gptkbp:hasMorphismsTo objects of diagram
gptkbp:hasProperty universal property (in the case of limit)
https://www.w3.org/2000/01/rdf-schema#label cone (category theory)
gptkbp:morphismsSatisfy commutativity condition
gptkbp:relatedTo gptkb:Functor
diagram (category theory)
limit (category theory)
gptkbp:usedIn definition of colimit
definition of limit
gptkbp:bfsParent gptkb:Limit_(category_theory)
gptkbp:bfsLayer 7