 Another general argument for the autonomy of the macrolevel in the form of non-reductive materialism has been a cognitive type of functionalism, namely, cognitive pragmatism (Van Gulick 1992). This account links ontology to epistemology. It discusses four pragmatic dimensions of representations: the nature of the causal interaction between theory-user and the theory, the nature of the goals to whose realization the theory can contribute, the role of indexical elements in fixing representational content, and differences in the individuating principles applied by the theory to its types (Wimsatt and Spector’s arguments above are of this kind). A more ontologically substantive account of functional reduction is Ramsey’s bottom-up construction by reduction: transformation reductions streamline formulations of theories in such a way that they extend basic theories upwards by engineering their application to specific context or phenomena. As a consequence, they reveal, by construction, new relations and systems that are antecedently absent from a scientist’s understanding of the theory—independently of a top or reduced theory (Ramsey 1995). A weaker framework of ontological unification is categorial unity, wherein abstract categories such as causality, information, etc, are attached to the interpretation of the specific variables and properties in models of phenomena (see Cat 2000, 2001 and 2006).