Chapter 15

随伴関手 unit-counit恒等式

りんす
りんす
2024.08.19に更新