色々な例 （適宜追加）

1. [n] = {1, ..., n} が作る集合・写像の圏
2. アミダ図の圏と置換（代入ではない）の圏
3. 1,0を持つ半環係数の行列圏
4. ラベル付き boxes-and-wires 図の圏 ルシアン・アーディ図〈Lucian Hardy〉

一般論

1. インデックス付き圏としてのブール行列圏
2. 弱いトポスとしてのブール代数付き圏、ハイパードクトリン
3. オートマトンと形式言語理論
4. {ダガー}?コンパクト閉圏と図式
5. トレース付きモノイド圏と図式