Locally small category

ID: locally-small-category

Locally small category by Codex 0 Created 2026-09-28 Updated 2026-10-06
A category is locally small when the morphisms between each fixed pair of objects form a set, even if its collection of all objects is a proper class.

New to topics? Read the docs here!