Related papers: Day algebras
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…
We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing…
In a previous work, we have associated a complete differential graded Lie algebra to any finite simplicial complex in a functorial way. Similarly, we have also a realization functor from the category of complete differential graded Lie…
Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories…
In this paper, we devote to extending structures for dendriform algebras. First, we define extending datums and unified products of dendriform algebras, and theoretically solve the extending structure problem. As an application, we consider…
Loday's dendriform algebras and its siblings pre-Lie and zinbiel have received attention over the past two decades. In recent literature, there has been interest in a generalization of these types of algebra in which each individual…
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…
Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic…
For an affine algebraic variety $X$ we study a category of modules that admit compatible actions of both the algebra of functions on $X$ and the Lie algebra of vector fields on $X$. In particular, for the case when $X$ is the sphere…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…
Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of…
We consider the category of C*-algebras equipped with actions of a locally compact quantum group. We show that this category admits a monoidal structure satisfying certain natural conditions if and only if the group is quasitriangular. The…
Building on Retakh's approach to Ext groups through categories of extensions, Schwede reobtained the well-known Gerstenhaber algebra structure on Ext groups over bimodules of associative algebras both from splicing extensions (leading to…
It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…
We study monoids equipped with a second binary operation that captures the structure of the endomorphisms of an object $X$ such that $X=X\times X$. We construct a universal monoid of this type and examine some of its rich combinatorial…
We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…
First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of…
For each $n \in \mathbb{N} \cup \{\infty\}$, diagrammatic sets admit a model structure whose fibrant objects are the diagrammatic $(\infty, n)$- categories. They also support a notion of Gray product given by the Day convolution of a…