>>275
Conceptual Mathematicsていう本はそういうレベルの
有限な圏の例がものすごいたくさん出てくる。
ただ、まだ訳されてない。