Kan拡張
Kan 拡張(pdf)
#圏論
#数学