# Tagged Questions

The tag has no usage guidance.

1k views

### “Why” are monadicity and descent related?

This question is probably too vague for experts, but I really don't know how to avoid it. I've read in several places that under mild conditions, a morphism is an effective descent morphism iff the ...
2k 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 ...
2k 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 ...
1k views

577 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 ...
775 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 ...
316 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 ...
729 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 ...
424 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 ...
322 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 ...
257 views

### Higher Descent Cohomology

Descent cohomology for a comonad is defined at degrees 0 and 1 by Mesablishvili in his paper "On Descent Cohomology" (as well as by many other authors in many other contexts). For a comonad $\bot$ on ...
403 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 ...
304 views

205 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 ...
265 views

164 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 ...
364 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?
156 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 ...
184 views

### Seems like Reader monad composed with a strong monad produces a monad, am I right?

Take a Cartesian (or monoidal) closed category; define Reader monad for a given object $E$ as $X \mapsto X^E$; and take a strong monad $M$ (strong means preserves product or tensor product). Now the ...
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 ...