Clearly any morphism has a two-sided inverse under composition. Definition 1.1.6. Given two categories C and D, a functor F : C −→ D is a map ...
確定! 回上一頁