Related papers: Connected monads weakly preserve products

Given a set $\Sigma$ of equations, the free-algebra functor $F_{\Sigma}$ associates to each set $X$ of variables the free algebra $F_{\Sigma}(X)$ over $X$. Extending the notion of \emph{derivative} $\Sigma'$ for an arbitrary set $\Sigma$ of…

We establish a relative monadicity theorem for relative monads with dense roots in a virtual equipment, specialising to a relative monadicity theorem for enriched relative monads. In particular, for a dense $\mathbb V$-functor $j \colon A…

If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space…

For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent…

For an arbitrary finite monoid $M$ and subgroup $K$ of the unit group of $M$, we prove that there is a bijection between irreducible representations of $M$ with nontrivial $K$-fixed space and irreducible representations of $\mathcal{H}_K$,…

Let $F, G: \mathcal{I} \to \mathcal{C}$ be strong monoidal functors from a skeletally small monoidal category $\mathcal{I}$ to a tensor category $\mathcal{C}$ over an algebraically closed field $k$. The set $Nat(F, G)$ of natural…

Varieties of quantitative algebras are fully described by their free-algebra monads on the category Met of metric spaces. For a longer time it has been an open problem whether the resulting enriched monads are precisely the strongly…

State monads in cartesian closed categories are those defined by the familiar adjunction between product and exponential. We investigate the structure of their algebras, and show that the exponential functor is monadic provided the base…

We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…

In the first part of this article, we give an analysis of the free monad sequence in non-cocomplete categories, with the needed colimits explicitly parametrized. This enables us to state a more finely grained functoriality principle for…

Let $F:\Bbb C^n\to\Bbb C^n$ be a polynomial mapping with a non vanishing Jacobian. If the set $S_F$ of non-properness of $F$ is smooth, then $F$ is a surjective mapping. Moreover, the set $S_F$ can not be connected (this is the…

Given $d,n \in \mathbb{N}$, we write a polynomial $F \in \mathbb{C}[x_1,\dots,x_n]$ to be degenerate if there exist $P\in \mathbb{C}[y_1, \dots, y_{n-1}]$ and $m_j = x_1^{v_{j,1}}\dots x_n^{v_{j,n}}$ with $v_{j,1}, \dots, v_{j,n} \in…

We show how the relatively initial or relatively terminal fixed points for a well-behaved functor $F$ form a pair of adjoint functors between $F$-coalgebras and $F$-algebras. We use the language of locally presentable categories to find…

Graph products of monoids provide a common framework for direct and free products, and graph monoids (also known as free partially commutative monoids). If the monoids in question are groups, then any graph product is, of course, a group.…

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the…

An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors…

In this paper we provide a detailed construction of an equivalence between the category of Lawvere theories and the category of relative monads on the obvious functor $Jf:F\rightarrow Sets$ where $F$ is the category with the set of objects…

In this paper we investigate the functors of OH of positively homogenous functionals and OS of semiadditive functionals. We show that OH(X) is AR if and only if X is openly generated, and OS(X) is AR if and only if X is an openly generated…