Related papers: Enriched Lawvere Theories for Operational Semantic…
We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case, our definition is syntactic: we use an appropriate class of…
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET) with the Enriched Lawvere Theories. We extend QETs to Metric…
Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads…
Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment. In this context, we construct atomic…
This thesis aims to develop a compositional theory for the operational semantics of networks. The networks considered are described by either internal or enriched graphs. In the internal case we focus on $\mathsf{Q}$-nets, a generalization…
We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical.…
Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function…
We provide a definition of enrichment that applies to a wide variety of categorical structures, generalizing Leinster's theory of enriched $T$-multicategories. As a sample of newly enrichable structures, we describe in detail the examples…
We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…
Under a minimum of assumptions, we develop in generality the basic theory of universal algebra in a symmetric monoidal closed category $\mathcal{V}$ with respect to a specified system of arities $j:\mathcal{J} \hookrightarrow \mathcal{V}$.…
We decribe the correspondence between normalised $\omega$-operads and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category.…
Many term calculi, like lambda calculus or pi calculus, involve binders for names, and the mathematics of bound variable names is subtle. Schoenfinkel introduced the SKI combinator calculus in 1924 to clarify the role of quantified…
We observe that the existence of sequential and parallel composition supermaps in higher order theories of transformations can be formalised using enriched category theory. Encouraged by relevant examples such as unitary supermaps and…
State of the art language models return a natural language text continuation from any piece of input text. This ability to generate coherent text extensions implies significant sophistication, including a knowledge of grammar and semantics.…
This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic labels. In this work, two possible enrichments (quantitative and/or…
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…
We give an introduction to the topics of our forthcoming work, in which we introduce and study new mathematical objects which we call "higher theories" of algebras, where inspiration for the term comes from William Lawvere's notion of…
Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain…
We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with…
The complete enriched Lie algebras constitue the natural extension of graded Lie algebras for connected spaces. Each complete enriched Lie algebra is the rational homotopy Lie algebra of a connected space. This text is the first part of a…