Categorical_theory loading ...