A category is -finite if the following equivalent conditions hold:
The notion of L-finite category is a sort of categorification of the notion of K-finite set:
A set is -finite if the top element belongs to the closure of the singletons under finite unions.
A category is -finite if the terminal object belongs to the closure of the representables under finite colimits.
- Robert Paré, Simply connected limits. Can. J. Math., Vol. XLH, No. 4, 1990, pp. 731-746, CMS
Revised on May 22, 2014 13:41:33
by Mike Shulman