亜群の圏のなかの弱い圏の構成
Grpdを亜群を対象として、関手を射とする圏とする（2-圏構造は使わない）。亜群の対象a, bのあいだに射（亜群なので可逆射）があるとき ab と書くことにする。
M, O∈|Grpd| で、dom, cod:M→O in Grpd、id:O→M in Grpd とする。dom, cod, idは関手なので、次が成立する。
- f
g in M ならば、dom(f)
cod, idも同じ。
この状況で、{(f, g) | cod(f)dom(g)} のような集合上でcompを考えたいが、これは単純なファイバー積じゃない。ゆるいファイバー積だけど、これを構成しないと弱い法則が書けない。
