category_theory.category_of_elements.π source