這是在說先結合functor還是先結合natural transformation不改變結果
一些有趣的結果A Formal Proof that the Higher Fundamental Groups are Abelian
Interchange Law [ZB1T]
這是在說先結合functor還是先結合natural transformation不改變結果
一些有趣的結果A Formal Proof that the Higher Fundamental Groups are Abelian