Kan拡張
https://twitter.com/hora_algebra/status/1456866087400738819
圏論の知識を仮定しない文章
https://youtu.be/kgoaLnlYr1Y