$FinCat$ is the 2-category of finite categories (that is, categories with finitely many objects and finitely many morphisms). $FinCat$ 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.