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