English Dictionary

To define a colimit, one often starts by describing a cocone over the diagram and then checking its universal property.

余極限を定義するためには、しばしば図上の余コーン、すなわち図の各対象からある対象Vへ向かう射が与えられ、図中の任意の射Aに対してAと三角形を成すVへの2本の射が可換になるようなものを記述し、それの普遍性を確かめることから始める。