S を圏 C の骨格(>>87)とする。
定義(>>87)から包含関手 F：S → C は充満かつ同型的に密(>>76)である。
よって、F は圏同値(過去スレ017の404)である。