圏の種類
トレース付きモノイダル圏
リボン圏
前加法圏
加法圏
ネーター圏・アルチン圏
グロタンディーク圏
スライス圏/オーバー圏
コスライス圏/アンダー圏
空圏: $ \mathbb{0}
1点圏、終圏: $ \mathbf{\mathbb{1}}
(2点圏?): $ \mathbb{2}
(3点圏?): $ \mathbb{3}
圏Sets: 集合と関数の圏$ \mathbf{Sets} 代数的構造のなす圏
圏Monoid: モノイドの圏?
圏R-Mod: 左加群の圏?
圏Mod-R: 右加群の圏?
圏に当てはめてみたパターン
参考