適宜追加予定。
| 名前 | 使ったことがある |
|---|---|
| 恒等関手 | I, IdC, J |
| モノイド積 | |
| 単位射 | i, J, I |
| 単位対象 | I, 1, 1 |
| 自明圏 | I, I |
| 自明集合 | 1, 1 |
| 自明アトム | *, 0 |
| 対角 | Δ, δ |
| 潰し関手 | K, !' |
| 射影 | π1, Π1, proj1 |
| 2-圏の恒等 | IDK |
| 恒等自然変換 | IDF, ιF |
| 自明厳密2-圏 | J |
| 台対象 | U |
| 切り落とし | kC, C[k] |
適宜追加予定。
| 名前 | 使ったことがある |
|---|---|
| 恒等関手 | I, IdC, J |
| モノイド積 | |
| 単位射 | i, J, I |
| 単位対象 | I, 1, 1 |
| 自明圏 | I, I |
| 自明集合 | 1, 1 |
| 自明アトム | *, 0 |
| 対角 | Δ, δ |
| 潰し関手 | K, !' |
| 射影 | π1, Π1, proj1 |
| 2-圏の恒等 | IDK |
| 恒等自然変換 | IDF, ιF |
| 自明厳密2-圏 | J |
| 台対象 | U |
| 切り落とし | kC, C[k] |