Feature

A feature, also called an external structure, is a scale property attached to a theory.

When we transform all objects, morphisms, and structures of a theory into objects, i.e. normalize the theory, we lose the external structure of the theory. This is the primary reason for distinguishing external and internal structures.