単に箇条書きで列挙するだけ。「*」が付いている項目は、理論上は不要。だけど、実際の計算を示すのが望ましい。済んだ項目には順次「◯」を付ける。「△」は、ほんとはやるべきだが省略した計算。
- (SG, □, 1, α, λ, ρ) がモノイド圏であること
- □の定義 ◯
- □の双関手性 ◯
- α, λ, ρ の定義 △
- α, λ, ρ の同型性 △
- マックレーンの五角形 △
- マックレーンの三角形 △
- hom(-, -) の定義 ◯
- hom(-, -) が双関手であること *
- カリー化の定義 ◯
- カリー化の自然性 ◯
- 反カリー化の定義 * ◯
- 反カリー化の自然性 *
- カリー化の可逆性 * ◯
- ev = ε の定義 ◯
- ins = η の定義 *
- ベータ変換等式 ◯
- イータ変換等式 *
- 内部テンソル・ホム随伴 *
モノイド閉圏と内部ホムについては：
