定義
C を圏とする。
C は次の条件(T)を満たすとする。

(T) X, Y を C の任意の対象とするとき、
Hom(X, Y) は空集合であるか１個の元からなる。

このとき、C を痩せた圏(thin category)と言う。
過去スレ017の281より、痩せた小さい圏は前順序集合と見なせる。