PS

Posetal category

@Deprecated

Skeletal category

 \forall A,\ A' \in \mathcal{C}_0,\ ( A \simeq A' \Leftrightarrow A = A' )

なるcategory  \mathcal{C} のこと。つまり、isomorphicなobjectは等しい、というcategory。

Posetal category

Skeletalなpreorder categoryのこと。Posetと本質的に等しい。

命題

  •  P:\text{posetal} \Rightarrow P:\text{has all equalizers}

参考文献