generated at
2/12/2025, 6:48:46 PM
Kan拡張
https://twitter.com/hora_algebra/status/1456866087400738819
圏論
の知識を仮定しない文章
https://youtu.be/kgoaLnlYr1Y