generated at
2/21/2025, 9:08:47 PM
エンド
End
http://ziphil.com/diary/mathematics/24.html
https://bartoszmilewski.com/2017/03/29/ends-and-coends/
コエンド