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 6 of 6 for “"categorical-algebra"”.
-
Topics in 2-categorical Algebra
… thesis we will examine 2-categories and higher categorical structures and formulate 1-categorical theorems in the language of higher categories as well as formulate some internal definitions of these base structures in finitely complete categories. We will begin by defining the relevant 2- …
-
Topics in categorical algebra and Galois theory
We provide an overview of the construction of categorical semidirect products and discuss their form in particular semi-abelian varieties. We then give a thorough description of categorical Galois theory, which yields an analogue for the fundamental theorem of Galois theory in an abstract category …
-
Second-Order Algebraic Theories
Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This dissertation completes the algebraic foundations of second-order languages from the viewpoint …
-
Structured frames
… theory. At the 1981 international conference on categorical algebra and topology at Cape Town University a suggestion was made that a study of "uniform frames" (whatever they might be) would be an appropriate and useful start to a project concerned with examining, from a lattice theoretical point …
-
Cartesian closed bicategories: type theory and coherence
… and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for cartesian closed bicategories. Cartesian closed bicategories---2-categories `up to isomorphism' equipped with similarly weak products and exponentials---arise in …
-
A CATEGORICAL-ALGEBRAIC EXPLORATION OF MODELS FOR MANY-VALUED LOGIC
In this thesis, we study from a categorical-algebraic point of view the structures of lattice-ordered groups and MV-algebras, which are used in modeling logic with many truth values. In the first part, we show that the semi-abelian category of lattice-ordered groups satisfies several important …