具体的には、(局所的に小さい完備圏が始対象をもつことと、集合(真クラス"でない")とで添え字づけられたの対象の族("k""i")が存在して、の任意の対象に対して少なくとも1つの射があるに対して存在することは同値である。