Related papers: Discrete equational theories

We prove that there is a monadic adjunction between the category of bounded posets and the category of pseudo effect algebras.

An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…

We study the categories of discrete modules for topological rings arising as the rings of operations in various kinds of topological K-theory. We prove that for these rings the discrete modules coincide with those modules which are locally…

We consider the discrete versions of the well known Borg theorem and use simple linear algebraic techniques to obtain new versions of the discrete Borg type theorems. To be precise, we prove that the periodic potential of a discrete…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic…

Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative…

In this note we prove a Birkhoff type transitivity theorem for continuous maps acting on non-separable completely metrizable spaces and we give some applications for dynamics of bounded linear operators acting on complex Fr\'{e}chet spaces.…

After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic…

The theory of presentations of enriched monads was developed by Kelly, Power, and Lack, following classic work of Lawvere, and has been generalized to apply to subcategories of arities in recent work of Bourke-Garner and the authors. We…

We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…

In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad.…

We introduce new classes of general monotone sequences and study their properties. For functions whose Fourier coefficients belong to these classes, we establish Hardy-Littlewood-type theorems.

In this paper, motivated by the theory of operads and PROPs we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and…

We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…

We construct an algebra of pseudodifferential operators on each groupoid in a class that generalizes differentiable groupoids to allow manifolds with corners. We show that this construction encompasses many examples. The subalgebra of…

We employ the pinching theorem, ensuring that some operators A admit any sequence of contractions as an operator diagonal of A, to deduce/improve two recent theorems of Kennedy-Skoufranis and Loreaux-Weiss for conditional expectations onto…

We develop Morita theory of monoids in a closed symmetric monoidal category, in the context of enriched category theory.

We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its…

We introduce a special class of multiple Dirichlet series whose terms are supported on a variety and which admit an Euler product structure. We proposed several conjectures on the analytic properties of these series.