category_theory.essentially_small source