圏論完全に理解したけど質問ある？ (13)

9 野に咲く名無し@転載禁止 2025/08/26 (火) 12:46:41.197 ID:Uvp0a35ag主

>>8
それもまたKan拡張ですね