Colimit of a Functor
Backlinks
Cocomplete Category
Coequaliser
Acyclic Class
Logical Morphism
Filtered Colimits
Reflexive-Transitive Closure of a Relation
Monoid Factorization
Functor Category
Initial Object
Total Category
Arrow Category