Small category (source code)

= Small category

A category is small when its objects and morphisms form sets.