Closed yperikov closed 6 months ago
Hi, line 30 should be: category $\cat{C}\times{}\cat{D}$. We define a morphism in a Cartesian product of categories
this is already fixed here: https://bartoszmilewski.com/2015/02/03/functoriality/
Hi, line 30 should be: category $\cat{C}\times{}\cat{D}$. We define a morphism in a Cartesian product of categories
this is already fixed here: https://bartoszmilewski.com/2015/02/03/functoriality/