Processing math: 100%

Colimit . category theory

Collection

context F:CD
context Δ:CCD … diagonal functor
definiendum colimF … initial morphism from F to Δ

Discussion

Reference

Parents

Context

Requirements

Link to graph
Log In
Improvements of the human condition