category_theory.category_of_elements source