comma category
English
editNoun
editcomma 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
editTranslations
editTranslations
|