Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"algebraic theories"”.
-
Second-Order Algebraic Theories
… metavariables. This dissertation completes the algebraic foundations of second-order languages from the viewpoint of categorical algebra. In particular, the dissertation introduces the notion of second-order algebraic theory. A main role in the definition is played by the second-order theory of …
-
Infinitesimal Models of Algebraic Theories
… a general theory of infinitesimal models of algebraic theories that provides us with a formalisation of these notions, and which is in accordance with the intuition when applied in the context of Synthetic Differential Geometry. This allows us to study well-known geometric structures and …
-
Deformations of homotopy theories via algebraic theories
… homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral sequences that compute homotopical data starting with purely …
-
Generalized algebraic theories : a model theorectic approach,
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1968.
-
Monadic and Higher-Order Structure
Simple type theories, ubiquitous in the study of programming language theory, augment algebraic theories with higher-order, variable-binding structure. This motivates the definition of higher-order algebraic theories to capture this structure, permitting the study of simple type theories in a …