離散圏

定義

$$\mathrm{Mor}(\mathcal{C})=\mathrm{id}$$

のとき, 集合は離散圏

例

モノイド,

$$\mathrm{Ob}(\mathcal{C})=\ast$$ $${\mathrm{Hom}}_{\mathcal{C}}(\ast ,\ast )=M$$

$\circ =\cdot$のとき$\mathcal{C}$は圏,$1$と同一視