Search
❯
08 Dec 20251 min read
A category C is small iff the sets of objects and arrows can be expressed as sets.