Chapter 15
随伴関手 unit-counit恒等式
りんす
2024.08.19に更新