随伴関手 unit-counit恒等式

りんす

2024.08.19に更新