category_theory.evaluation source