categorical_universal_algebra