集合上に同値関係があると、商集合を作れます。もとの集合から商集合に向かって標準射影（と呼ばれる全射）が作れます。集合を対象として標準射影だけを射とする圏を作りたいと思います。なぜ標準射影だけを射とする圏が欲しくなったかと言うと、半グラフ達…