最終更新日:2022/12/07
正解を見る
(category theory) A category whose objects are morphisms (of some given category) with a common codomain, and whose morphisms are commuting triangles where two morphisms of each of such triangles share the said common codomain.
編集履歴(0)
元となった辞書の項目
slice category
noun