Report - Categories - IRIFcurien/CIRM-2014.pdf2-categories have 0-morphisms, 1-morphisms that compose, 2-morphisms that compose in two ways in a compatible way. Cat forms a 2-category 2-categories

Please pass captcha verification before submit form