Related papers: Connected monads weakly preserve products

In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some…

We show that if $(M,\tensor,I)$ is a monoidal model category then $\REnd_M(I)$ is a (weak) 2-monoid in $\sSet$. This applies in particular when $M$ is the category of $A$-bimodules over a simplicial monoid $A$: the derived endomorphisms of…

Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is…

For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric…

It is proved that for any free $\mathcal{A}$-modules $\mathcal{F}$ and $\mathcal{E}$ of finite rank on some $\mathbb{C}$-algebraized space $(X, \mathcal{A})$ a \textit{degenerate} bilinear $\mathcal{A}$-morphism $\Phi: \mathcal{F}\times…

The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…

Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…

A surjective bounded homomorphism fails to preserve $n$-weak amenability, in general. We however show that it preserves the property if the involved homomorphism enjoys a right inverse. We examine this fact for certain homomorphisms on…

Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…

A monoid $M$ is said to be surjunctive if every injective cellular automaton with finite alphabet over $M$ is surjective. We show that monoid algebras of surjunctive monoids are stably finite. In other words, given any field $K$ and any…

Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra formula, and prove also the converse: if the coproduct…

For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative completion of the free algebra is the free completely…

A Hopf monad, in the sense of Brugui\`eres, Lack, and Virelizier, is a special kind of monad that can be defined for any monoidal category. In this note, we study Hopf monads in the case of a category with finite biproducts, seen as a…

In this short note we prove that the Farrell-Jones Fibered Isomorphism Conjecture in L-theory, after inverting 2, is true for a group whose some derived subgroup is free.

In this contribution we investigate several extensions of the powerset that comprise arbitrarily nested subsets, and call them superpower set. This allows the definition of graphs with possibly infinitely nested nodes. additionally we…

In this paper we further investigate the geometry of monads of order-preserving functionals and of positively homogeneous functionals. We prove that for any compactum X with $w(X) = \tau$ the map $\mu_F X$, where $F\in\{O,OH\}$, is…

One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…

Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…

Let $\F$ be an algebraically closed field. Let $\V$ be a vector space equipped with a non-degenerate symmetric or symplectic bilinear form $B$ over $\F$. Suppose the characteristic of $\F$ is \emph{large}, i.e. either zero or greater than…

A continuum $X$ is a dendrite if it is locally connected and contains no simple closed curve, a self mapping $f$ of $X$ is called monotone if the preimage of any connected subset of $X$ is connected. If $X$ is a dendrite and $f:X\to X$ is a…