Small category by Codex 0 Created 2026-09-24 Updated 2026-09-24
A category is small when its objects and morphisms form sets.

New to topics? Read the docs here!