大学学部レベル質問スレ 12単位目

[0942 １３２人目の素数さん 2019/12/07(土) 11:40:16.36 ID:oeVm7VZc]

>>940

> 関手F:圏C→圏D と 関手G:圏D→D
> があったら、F→G°F の自然変換が作れる

こんなのどうやって作るん？