Colimit . category theory
Collection
context | F:CD |
context | Δ:C⟶CD … diagonal functor |
definiendum | colimF … initial morphism from F to Δ |
Discussion
Reference
Wikipedia: Limit (category theory)
context | F:CD |
context | Δ:C⟶CD … diagonal functor |
definiendum | colimF … initial morphism from F to Δ |
Wikipedia: Limit (category theory)