# Tagged Questions

**5**

votes

**3**answers

533 views

### opposite category

In the 2-category Cat of small categories, for each category $C$ (an object of Cat) there is also the dual category (I dare not write "dual object") $C^{op}$.
Is ${op}$ the instance in Cat of a more ...

**1**

vote

**2**answers

116 views

### Comonads from monoids

The following construction is probably known. I think it should work in any closed symmetric monoidal category, but I will play it safe and formulate the question in the concrete, cartesian closed ...

**2**

votes

**1**answer

94 views

### When is an Eilenberg-Moore category or Kleisli category braided monoidal? When semisimple?

I have a braided monoidal, semisimple linear category $\mathcal{C}$. (Imagine representations of a semisimple quasitriangular Hopf algebra.) I also have a monad $(T,\mu,\eta)$ on it, however, $T$ is ...

**4**

votes

**1**answer

255 views

### Universal property of module categories over monads

Let $T$ be a monad on a cocomplete category $\mathcal{C}$. Let's assume that $T$ preserves reflexive coequalizers (or something weaker?). Then the category of $T$-modules $\mathsf{Mod}(T)$ is ...

**4**

votes

**2**answers

258 views

### Transporting algebraic structure along adjoint equivalences

I have two questions, one general and the other particular to the case I am interested in.
The 'homotopically correct' notion of equivalence of categories is an adjoint equivalence (from one point of ...

**1**

vote

**1**answer

141 views

### comparison between two monadic definitions for an operad

According to May, an operad $\mathcal{C}$ valued in sets is equivalent to a monad in Cat on the endofunctor $C\colon X\mapsto \coprod_i \mathcal{C}(i)\times X^i.$
According to Leinster, an operad is ...

**7**

votes

**1**answer

206 views

### Correspondence between operads and monads requires tensor distribute over coproduct?

In checking the details of the correspondence between operads over a symmetric monoidal category and monads on some associated endofunctor of the category, I cannot make the obvious proof work without ...

**1**

vote

**1**answer

172 views

### Regarding a difficulty in the Fakir article about associated idempotent triple

I just had post this question in SE: http://math.stackexchange.com/questions/518054/about-details-of-the-fakir-theorem-proof-associated-idempotent-triple but dont get any answer.
I understand that at ...

**3**

votes

**2**answers

183 views

### Coequalizers in an Eilenberg-Moore category

Last month I proved that some category $\mathbf C$ that I happen to care about is isomorphic to the Eilenberg-Moore category for a monad on the category of bounded posets $\mathbf{BPos}$.
I know from ...

**3**

votes

**1**answer

215 views

### Iterating Monad-Comonads structures

Let $(T, \mu , \eta )$ a monad on the category $\mathscr{C}$ , with the usual EM (Eilenberg-Moore) adjunction $\langle F_T, U_T, \eta_Y, \epsilon_T \rangle: \mathscr{C}^T \to \mathscr{C}$ where ...

**10**

votes

**3**answers

386 views

### Is there a monad on Set whose algebras are Tychonoff spaces?

Compact Hausdorff spaces are algebras of the ultrafilter monad on Set.
Is the category of Tychonoff spaces also monadic over Set?

**2**

votes

**2**answers

231 views

### Further relation between monads and theories

This question want to be a follow up of the following question.
In that thread I was interested in understanding relation between various presentation of algebraic theories. In particular in Eduardo ...

**4**

votes

**1**answer

317 views

### When do reflexive coequalizers preserve weak equivalences?

In my work I've run into the following situation. In a model category, I have two reflexive coequalizers $A_i \stackrel{\to}{\to} B_i \to C_i$ and a map of diagrams which is levelwise a weak ...

**9**

votes

**1**answer

403 views

### Reference for my monads?

I'm looking for a reference for a certain pair of monads on $Cat$. One problem is that I don't know the modern way of thinking about some basic things, so excuse me if my presentation is naive.
First ...

**5**

votes

**2**answers

278 views

### Free cocommutative commutative Hopf monoids

I have some questions about generalizations of abelian groups, relative to symmetric monoidal categories.
1) Let $C$ be a cocomplete cartesian monoidal category with equalizers. I can show that the ...

**1**

vote

**0**answers

126 views

### Compatibility between strength and costrength of a monoidal monad

Let $C$ be a closed monoidal category, and let $T : C \to C$ be a monad on the underlying category. Let $\sigma$ be a tensorial strength of $T$ and let $\sigma'$ be a cotensorial strength of $T$. A ...

**5**

votes

**1**answer

313 views

### The crude monadicity theorem

In order to test the monadicity of a functor, there is a precise monadicity theorem (PM) as well as a crude monadicity theorem (CM), see the nlab. In CM, the forgetful functor should create reflexive ...

**11**

votes

**1**answer

405 views

### Applications of the Giry monad in probability and statistics

In another thread, I asked about the $M$ endofunctor on the category $\operatorname{Meas}$ of measurable spaces, which sends a space $X$ to its space of measures $M(X)$.
Will Sawin described the ...

**10**

votes

**0**answers

398 views

### Can we describe equivariant vector bundles of free group action in terms of descent theory (Barr-Beck theorem)?

It is well known that for a compact topological group $G$ acts (say, from the right) freely on a compact space $X$. Then the category of equivariant complex vector bundles on $X$, $\text{Vect}_G(X)$, ...

**14**

votes

**2**answers

703 views

### “Functors between monads”: what are these really called?

Let $(S,\eta,\mu)$ be a monad on a category $C$, and $(T,\eta,\mu)$ a monad on a category $D$. The following kind of gadget is ubiquitous: a functor $F:D\to C$, together with a natural map $\sigma: ...

**5**

votes

**2**answers

530 views

### Monadicity theorem in homotopy theory.

Let $\mathbf{C}$ be a cofibrantly generated model category (assume for simplicity that all objects are fibrant) and $\mathbf{C}^{\mathrm{T}}$ the category of $\mathrm{T}$-algebras with the induced ...

**8**

votes

**2**answers

396 views

### When do functors induce monadic adjunctions of presheaf categories

For a category $C$, let $C-Set$ denote the category of set-valued functors $\delta\colon C\to Set$. Given categories $C$ and $D$, and a functor $F\colon C\to D$, composition with $F$ yields a functor ...

**2**

votes

**1**answer

253 views

### Coproducts of modules over an algebraic monad

Coproducts of modules over an algebraic monad $\Sigma$ are described in Section 4.16.14/15 in Durov's thesis. It is claimed there that for $\Sigma$-modules $M,N$, the set $M \coprod N$ generates $M ...

**10**

votes

**1**answer

802 views

### The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?

Let $X$ be the category of reflexive quivers, and let $Cat$ be the category of small categories. There exists an evident forgetful functor $U:Cat\to X$ sending a category $A$ to its underlying ...

**13**

votes

**3**answers

1k views

### Relation between monads, operads and algebraic theories

I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. Is there any ...

**5**

votes

**3**answers

847 views

### Monad arising from operad

It's known that from every operad arises a cartesian monad whose algebras are the algebras for the operad. Leinster proved that there are different operads from which arise the same monad, in this way ...

**16**

votes

**2**answers

1k views

### What is known about the category of monads on Set?

Monads on the category Set of sets and functions are somehow fundamental objects of category theory, and moreover they have important applications to computer science. We know of a good number of ...

**2**

votes

**2**answers

330 views

### Reference request: 2-Monads and 2-Adjunctions

Given a category $\mathcal C$ together with a monad $T$ on $\mathcal C$, we get an adjunction $$\mathcal C^T(T-,-)\cong \mathcal C(-,\mathrm{For}-).$$
Is the same true for 2-monads on a 2-category?

**7**

votes

**1**answer

275 views

### Re-seating a monad

Let $\mathcal C$ and $\mathcal D$ be categories with suitable limits and colimits for the following discussion. Is it possible to re-interpret, or "re-seat" a monad $T : \mathcal C \to \mathcal C$ as ...

**3**

votes

**1**answer

509 views

### Adjunctions: Algebras of the induced monad VS. Coalgebras of the induced comonad.

Given an adjunction, we get a monad on one side and a comonad on the other side. What is the connection between their algebra and coalgebra categories? Are they allways equivalent?
The example i have ...

**7**

votes

**2**answers

734 views

### An elementary question about adjunctions between presheaf categories preserving pullbacks.

A functor $C \to D$ between categories induces a morphism of presheaf categories $Pre(D) \to Pre(C)$. This functor has a left adjoint given by left Kan extension and I am interested in knowing when ...

**1**

vote

**0**answers

290 views

### Cartesian-closed categories of algebras

If the Kleisli-category of a monad is Cartesian-closed, can we say when the category of Eilenberg-Moore algebras is?

**5**

votes

**1**answer

587 views

### Eilenberg–Moore algebras in terms of Kleisli ones

Suppose I know what the category of free algebras for a particular monad look like. Can I then describe what the category of Eilenberg–Moore algebras look like? E.g. Suppose that I have a good handle ...

**3**

votes

**1**answer

339 views

### Characterization of Kleisli adjunctions

There's a well known theorem due to Beck that characterizes when an adjunction is monadic, that is, if $F$ is left adjoint to $G$, $G:D \to C$, $GF:=T$ is always a monad on $C$, and the adjunction is ...

**2**

votes

**2**answers

585 views

### Free monad or monad defined from an adjunction.

My first question here.
Accordingly to M. Barr "Coequalizers and free triples" by a free triple (or free monad) generated by an endofunctor $R: X\rightarrow{X}$ we mean a
triple $T=(T,\eta,\nu)$ and ...

**4**

votes

**1**answer

409 views

### Lax and Colax Monads

Is there much known about the theory of lax and colax monads on a bicategory? Here, I really mean lax or colax, not weak. I'm aware of some literature about weak monads. I'm interested in distributive ...

**11**

votes

**3**answers

919 views

### Are monads monadic?

Is there some sort of monad whose algebras are monads? How about if we are internal to a bicategory B? Are internal monads in B monadic? Certainly not always, as otherwise free T-multicategories a la ...

**8**

votes

**2**answers

613 views

### Right actions of operads and monads

Given an operad $A$, there is an associated monad $M_A$ given by $M_A(X) = \coprod_n A(n) \otimes X^{\otimes n}$ such that being an $A$-algebra and being an algebra over the monad $M_A$ is the same ...

**10**

votes

**2**answers

439 views

### Where is there a treatment of “exponential monads”?

I have a category $C$, which is equipped with a symmetric monoidal structure (tensor product $\otimes$, unit object $1$). My category also has finite coproducts (I'll write them using $\oplus$, and ...

**6**

votes

**3**answers

285 views

### What kind of operations does the Tall-Wraith monoid encode?

According to the nLab page, for an algebraic theory V a Tall–Wraith V-monoid is "the kind of thing that acts on V-algebras". Well, it certainly does act on V-algebras, but in which sense is it "the ...