noun
Meaning 1
A category built out of a pair of functors that have the same codomain.
Definition source: English Wiktionary via Wiktextract
Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences
Examples
- Given a pair of functors S:A→C and T:B→C, objects of the comma category S↓T are arrows h:S(A)→T(B) parametrized by triples (A, B, h), and given morphisms f:A→A' and g:B→B', 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 h':S(A')→T(B') and from S(f) to T(g).
Meaning relationships
Synonyms: none provided
Antonyms: none provided