mathlib documentation

category_theory.limits.essentially_small

Limits over essentially small indexing categories #

If C has limits of size w and J is w-essentially small, then C has limits of shape J.