The functor cod:Arr(C)→C is given on objects by the codomain (= target) map, and on morphisms it gives the lower arrow of the commutative ...
確定! 回上一頁