厳密な初期オブジェクト

圏論という数学分野では、厳密な初期対象とは、圏Cの初期対象0で、 Cの終域0を持つすべての射が同型である という性質を持つものを指します。デカルト閉圏では、すべての初期対象が厳密です。^{[ 1 ]}また、C が分配圏または拡張圏である場合、 Cの初期対象 0は厳密です。^{[ 2 ]}

• n Labにおける厳密な初期オブジェクト