comma category
Jump to navigation
Jump to search
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
|