comma category

短语

词形变化

comma categories 复数 comma categories

释义与例句

n.
  1. 1.

    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 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).