is the 2-category of finite categories (that is, categories with finitely many objects and finitely many morphisms). is a 2-pretopos which does not have coinserters, coinverters, or coequifiers. Also, it does not admit groupoid reflections.
Created on April 14, 2020 at 07:09:40. See the history of this page for a list of all contributions to it.