Related papers: Sifted Colimits, Strongly Finitary Monads and Cont…
We introduce strong group coalgebras, as a generalization of strongly graded coalgebras. We give several characterizations, and study two special types of strong group coalgebras, namely cleft group algebras (or crossed coproduct group…
We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and…
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products,…
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 classify Fano polygons with finite mutation class. This classification exploits a correspondence between Fano polygons and cluster algebras, refining the notion of singularity content due to Akhtar and Kasprzyk. We also introduce…
We consider several distinct characterizations of finite implication algebras. One of these leads to a new characterization of Boolean polymatroids.
We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.
We discuss the concepts of fine and coarse moduli spaces in the context of finite dimensional algebras over algebraically closed fields. In particular, our formulation of a moduli problem and its potential strong or weak solution is adapted…
In this paper we define the monadic pseudo BE-algebras and investigate their properties. We prove that the existential and universal quantifiers of a monadic pseudo BE-algebra form a residuated pair. Special properties are studied for the…
The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier…
Let $\MP_d$ denote the space of polynomials $f: \C \to \C$ of degree $d\geq 2$, modulo conjugation by $\Aut(\C)$. Using properties of polynomial trees (as introduced in [DM, math.DS/0608759]), we show that if $f_n$ is a divergent sequence…
Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…
We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains.
We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous…
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…
Functor coalgebras capture a wide range of transition systems that must however evolve in discrete steps. We introduce graded coalgebras of graded monads and propose them to model continuous-time transition systems. We develop the theory of…
We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We…
We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…
We survey Hopf algebras and their generalizations. In particular, we compare and contrast three well-studied generalizations (quasi-Hopf algebras, weak Hopf algebras, and Hopf algebroids), and two newer ones (Hopf monads and hopfish…
We consider a class of extensions of associative algebras, which we refer to as ``strongly proj-bounded extensions''. We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by…