📚 noun • entry_id 59178
comma category
Meanings (ES + gloss)
categoría coma
A category built out of a pair of functors that have the same codomain.
Given a pair of functors S:𝒜→𝒞 and T:ℬ→𝒞, 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…
Phrases
No hay frases
Word forms