(category theory) An object V together with an arrow going from each object of a diagram to V such that for any arrow A in the diagram, the pair of arrows to V which form a triangle with A also commute with it.
cocone
余極限を定義するためには、しばしば図上の余コーン、すなわち図の各対象からある対象Vへ向かう射が与えられ、図中の任意の射Aに対してAと三角形を成すVへの2本の射が可換になるようなものを記述し、それの普遍性を確かめることから始める。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
