Cospán

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:application Network theory
Modeling open systems
gptkbp:categoryOfCospans A category where objects are objects of a base category and morphisms are cospans
gptkbp:defines A diagram of the form X → N ← Y in a category
gptkbp:dualPolyhedron Span
gptkbp:field Category theory
gptkbp:hasPart Two morphisms with common codomain
https://www.w3.org/2000/01/rdf-schema#label Cospán
gptkbp:relatedTo Span
gptkbp:usedIn gptkb:Algebraic_topology
gptkb:Mathematics
gptkb:Higher_category_theory
gptkbp:bfsParent gptkb:Cajamarca_Province
gptkbp:bfsLayer 7