Locally Small Category

up:: Category

A category $C$ is said to be locally small when all of its Hom-Sets are, indeed, sets.

Examples

• The Set Category is a locally small category, since the collection of all functions between two sets is necessarily a set ─ of cardinality

$$|Hom(A,B)|=|B{|}^{|A|}$$

---

References

• locally small category in nLab