5 Algebraic Theories as Creative Targets

Lawvere Theories, Sketches, PROPs, and Toposes

Chapters 3 and 4 described the local geometry of conceptual variation and the skills that explore it. This chapter specifies the finite artifact toward which those local mechanisms point: a constructed theory. Rather than stopping at an artifact or a list of claims, the system attempts to construct a theory with an explicit syntax, a class of models, and a transport relation to what was known before. This is a chosen scope for DIAL, not a claim that every form of creativity must culminate in an algebraic theory.

The target is not the paper or paragraph that describes a theory. It is the typed collection of operations, relations, and preservation requirements that the prose presents, together with the models in which those requirements can be interpreted and tested. This is why the chapter treats sketches as compact presentations rather than as diagrams added only for exposition.

Lawvere’s functorial semantics supplies the decisive idea: an algebraic theory is a category of abstract operations and equations, while a model of that theory is a structure-preserving functor into a semantic category [ Lawvere , 1963 ] . The same presentation can therefore have models in sets, smooth spaces, vector spaces, sheaves, or another suitable category. What changes with the target is the realization; what persists is the theory’s compositional form.

¹1. “Any target category” always means any category possessing the products, limits, tensor products, or other structure that the chosen theory asks its models to preserve. ↩

. The principal target in this book is a presented theory together with its functorial model semantics. A sketch records the generators and structural obligations compactly; models witness formal realizability in one or more semantic worlds. They do not by themselves establish empirical truth, explanatory value, or scientific acceptance.