Initial and terminal objectsとは 意味・読み方・使い方

意味・対訳 数学の抽象的な分野である圏論において、圏 ???? の始対象（したいしょう、英: initial object、coterminal object）とは、???? の任意の対象 X に対してちょうど一つの射 I → X が存在するような ???? の対象 I のことを指す。