comma category
English edit
Noun edit
comma category (plural comma categories)
- (category theory) A category built out of a pair of functors that have the same codomain.
- Given a pair of functors and , objects of the comma category are arrows parametrized by triples (A, B, h), and given morphisms and , then a morphism of the said comma category is a commuting square parametrized by the pair (f, g) and spanning the area from h to and from to .
Hyponyms edit
Translations edit
Translations
|