category_theory.category_struct source