Small category

A category is small if it has only a set's worth of arrows.

If 𝒞 is a small category, then there are functions (dom, cod, id) that send a morphism to its domain, its codomain, and an object to its identity.