Most common
Definitions
- n. 1
A category whose objects are morphisms (of some given category) with a common codomain, and whose morphisms are commuting triangles where two morphisms of each of such triangles share the said common codomain.
By length
- 12 letters
- overcategory