2015-06-12 Fubini theorems via ends 圏論 命題 Enriched Fubini theorem.1 -functor: について 証明 1.について(2.も同様)・・・ 左辺から右辺: 右辺から左辺: Fubini theorem.2 証明 参考文献 Basic Concepts of Enriched Category Theory (2.1)