Categorical_algebra