In Categories for the Working Mathematician, Saunders Mac Lane uses the term ‘metacategory’ to mean any model of the first-order theory of categories, and reserves the word ‘category’ for a metacategory whose objects and morphisms form sets. He then assumes the existence of one Grothendieck universe and calls sets and categories in small and categories not in large. Thus, for him, there is:
However, this usage has largely fallen out of favor among modern authors. Most category theorists nowadays are happy to either use ‘category’ in the more general sense for which Mac Lane used ‘metacategory’, and/or to assume the existence of enough universes that any (meta)category has sets of objects and morphisms. For instance, if we assume the existence of two universes , we may call:
then we have:
The authors of The Joy of Cats use the term ‘quasicategory’ similarly to how Mac Lane uses ‘metacategory’, but this usage is even more strongly to be avoided, since it conflicts with the more common modern usage (following Joyal) of ‘quasicategory’ for a particular model for (∞,1)-categories.
Last revised on January 8, 2011 at 04:08:21. See the history of this page for a list of all contributions to it.