(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.
slice category
対象Xへの射を調べるために、しばしば圏Cのスライス圏C/Xで作業します。そこでの対象は終域がXである射です。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
