Related papers: Generalized Plonka Sums and Products

We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a…

Batanin and Leinster's work on globular operads has provided one of many potential defnitions of a weak $\omega$-category. Through the language of globular operads they construct a monad whose algebras encode weak $\omega$-categories. The…

We observe that normalization by evaluation for simply-typed lambda-calculus with weak coproducts can be carried out in a weak bi-cartesian closed category of presheaves equipped with a monad that allows us to perform case distinction on…

Relative monads provide a controlled view of computation. We generalise the monadic metalanguage to a relative setting and give a complete semantics with strong relative monads. Adopting this perspective, we generalise two existing program…

In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…

We present several naturally occurring classes of spectral spaces using commutative algebra on pointed monoids. For this purpose, our main tools are finite type closure operations and continuous valuations on monoids which we introduce in…

We continue studies of Moutard-type transforms for the generalized analytic functions started in arXiv:1510.08764, arXiv:1512.00343. In particular, we show that generalized analytic functions with the simplest contour poles can be Moutard…

We investigated the representation thoery of an Ariki-Koike algebra whose Poincare polynomial associated with the "bottom", i.e., the subgroup on which the symmetric group acts, is non-zero in the base field. We proved that the module…

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ''conformal vertex algebra'' or even more generally,…

We generalize the classical study of Alexander polynomials of smooth or PL locally-flat knots to PL knots that are not necessarily locally-flat. We introduce three families of generalized Alexander polynomials and study their properties.…

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…

Generalized multicategories, also called $T$-monoids, are well known class of mathematical structures, which include diverse set of examples. In this paper we construct a generalization of the adjunction between strict monoidal categories…

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

We develop an $\infty$-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$-operads, namely $\infty$-operads as…

Hopf monads generalise Hopf algebras. They clarify several aspects of the theory of Hopf algebras and capture several related structures such as weak Hopf algebras and Hopf algebroids. However, important parts of Hopf algebra theory are not…

Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as…

We study various regularization operators on plurisubharmonic functions that preserve Lelong classes with growth given by certain compact convex sets. The purpose is to show that the weighted Siciak-Zakharyuta functions associated with…

We give a definition of weak morphism of $T$-algebras, for a $2$-monad $T$, with respect to an arbitrary family $\Omega$ of $2$-cells of the base $2$-category. By considering particular choices of $\Omega$, we recover the concepts of lax,…

Second-order polynomials generalize classical first-order ones in allowing for additional variables that range over functions rather than values. We are motivated by their applications in higher-order computational complexity theory,…

In this paper we introduce the notion of partial action of a weak Hopf algebra on algebras, unifying the notions of partial group action [11], partial Hopf action ([2],[3],[9]) and partial groupoid action [4]. We construct the fundamental…