14 Answers votes newest views recent 1In your opinion, what are the relative advantages of n-fold categories and n-categories? 5What is the difference between a function and a morphism? 1Category theory and model theory as “natural” counterparts 1What is the relationship between FOPL and Higher Order Logics? 3Categories First Or Categories Last In Basic Algebra? 0Canonical examples of algebraic structures 5Categories presented with Arrows only, no objects: partial monoids 5Mathematics needed for higher dimensional category theory? 2Natural transformations as categorical homotopies 0A question on the sum of element orders of a finite group 2Why are operads useful? 15Is Mac Lane still the best place to learn category theory? 2Why is a topology made up of ‘open’ sets? 1Is PA consistent? do we know it?