Questions tagged [monads]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
9 votes
5 answers
944 views

English Reference for the Bénabou-Roubaud theorem

The Bénabou-Roubaud theorem links fibrational descent theory with monadicity. Particularly, it says that given a bifibration satisfying the Beck-Chevalley condition w.r.t some arrow $p$ in the base ...
8 votes
0 answers
149 views

When is the Eilenberg-Moore category of a relative monad between two topoi a topos?

In the non-relative case, we have a theorem, that an Eilenberg-Moore category of algebras of a Monad $T$ on a topos is itself a topos if the monad in question has a right adjoint. Now how does this ...
5 votes
0 answers
75 views

Reciprocity for algebra objects in two algebraic categories

I think this question Compact Hausdorff and C^*-algebra "objects" in a category. shows that there is no reciprocity between categories of algebra-objects of two algebraic categories. So, ...
5 votes
0 answers
87 views

Example of a pseudomonad on Cat whose pseudoalgebras are not the pseudoalgebras for a 2-monad

For every pseudomonad $T$ on the 2-category of (locally small) categories $\mathbf{Cat}$, we can consider the 2-category of $T$-pseudoalgebras and pseudomorphisms $T\text{-PsAlg}_p$, which is equipped ...
3 votes
0 answers
76 views

Yetter-Drinfeld modules for Hopf monads

1. Context. 1.1. Classical Yetter-Drinfeld modules. Let $H$ a bialgebra in a braided monoidal category $\mathcal{C}$. A left-right Yetter-Drinfeld module over $H$ is a triple $(V,\rho,\Delta)$ ...
6 votes
1 answer
172 views

Hopf monads in categorical probability theory

1. Context. According to [1], probability monads are arguably the most important concept in categorical probability theory. In [2] Fritz and Perrone argue that "in order for a monad to really ...
6 votes
1 answer
183 views

Finitely presentable objects in the categories of algebras of $\infty$-algebraic theories

By default, all terms are understood in the infinity sense (“category” means “$(\infty, 1)$-category”, etc.). An object $A$ in a category is said to be finitely presentable (or compact) if the functor ...
9 votes
1 answer
316 views

Algebraically-free monadicity theorem

The monadicity theorem characterises when a functor $u : \mathbf B \to \mathbf E$ is the forgetful functor from the category of algebras for some monad on $\mathbf E$ (up to an equivalence over $\...
1 vote
0 answers
66 views

Beck's original formulation of the precise tripleability theorem. Reference when considering reflexive pairs?

Thanks to MO's user Varkor, we have access to Beck's original untitled manuscript where Beck first stated his precise tripleability theorem. Up to terminological isomorphism, the PTT as stated in p. 3 ...
6 votes
1 answer
542 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 ...
1 vote
0 answers
101 views

When is a container a monad?

The category of polynomial functors on Set is equivalent to the category of containers. We have a prescription for when a container is a comonad. There are a few other questions that come to mind. ...
0 votes
0 answers
28 views

Are there cartesian closed monads that also preserve the closed structure of the CCC

When I look for cartesian closed monads, I only find monads where the endofunctor preserves the cartesian structure of a cartesian closed category $$ \operatorname T\ (a \times b) = (\operatorname T\ ...
34 votes
8 answers
3k views

Big list of comonads

The concept of a monad is very well established, and there are very many examples of monads pertaining almost all areas of mathematics. The dual concept, a comonad, is less popular. What are ...
3 votes
1 answer
163 views

Nontrivial example of when monadic functors don't compose

It is well-known that the composite of monadic functors $U: C \to C'$ and $U': C' \to C''$ need not be monadic. One standard example is the forgetful functor $\mathrm{Cat} \to \mathrm{RefGph}$ from ...
4 votes
1 answer
203 views

What should be required from a model category so that the category of algebraic objects in it has the natural model structure?

I have two reference questions What should be required of a category with finite products so that a (multi-sorted, finitary) Lawvere theory induces a monadic adjunction on it? This should be ...
5 votes
0 answers
145 views

In what algebraic categories do finitely presentable objects form a dense cogenerator?

For each $C$ locally finitely presentable category, the full subcategory of finitely presentable objects $C_{fp}$ is a dense generator, i.e. the natural functor $C \to \mathrm{PSh}(C_{fp})$ is a full ...
2 votes
0 answers
217 views

Quantum scattering experiments: C-modules, N-modules and their monads

I am working on a theory of particle physics where we use monads. I have a few conjectures that I need to check. The category of $\mathbb{C}$-modules is monadic over set The category of $\mathbb{N}$...
2 votes
0 answers
124 views

Distributive law of the non-empty list comonad over the non-empty list monad

Preliminaries A monad is a triple $(M, \eta, \mu)$, with $M$ a functor, $\eta : \mathit{id} \Rightarrow M$ and $\mu : M^2 \Rightarrow M$ two natural transformations such that the following diagrams ...
5 votes
1 answer
256 views

Is there a canonical product on the category of monads on Set?

I would like to know if there is a partial monoidal product on the category of monads on Set. I want this partial monoidal product to "handle" monad composition which we understand exists ...
0 votes
1 answer
360 views

What are the necessary requirements to make this composite monad rewrite work?

It is well known that if you want to take two monads and compose them and get a third monad, you need a distributive law. Let us suppose we have this. So, we have two monads $$\mathcal{M}$$ And $$\...
1 vote
1 answer
207 views

Kleisli adjunction of the distribution monad

Let $\langle D , \mu, \eta \rangle$ be the distribution monad on $Set$ and let $Kl(D)$ be the Kleisli category on the distribution monad. I am interested in the adjunction between $Kl(D)$ and $Set$, ...
1 vote
0 answers
97 views

Can application in untyped lambda calculus be seen as the uncurried unit of some monad?

Simply typed lambda calculus in one type variable in a Cartesian closed category $\mathbf{C}$ can be interpreted as a family of Cartesian closed functors (described below, do they have a name?) from ...
1 vote
1 answer
110 views

Conditions such that split coequalizers are a symmetric notion

Consider the notion of a split coequalizer (see the nLab for the definition). Note that the definition seems to be non-symmetric. Are there any conditions on the ambient category such that it becomes ...
7 votes
1 answer
152 views

Is lambda calculus polymorphism a type of generalized monad?

Let $\mathbf{C}$ be a Cartesian closed category. Then simply typed lambda calculus in $\mathbf{C}$ in one type variable can be interpreted as a category $\mathbf{STLC}_{\mathbf C}$ where the objects ...
7 votes
1 answer
252 views

Eilenberg-Moore category as a 2-dimensional limit

$\require{AMScd}$Given an endofunctor $F : C\to C$, its category of algebras is the inserter of $F$ and the identity functor. This means that there is a square $$\begin{CD} Alg(F) @>j>> C \\ ...
5 votes
1 answer
73 views

Coherence laws when composing 2-monads

To have the composition of two monads be a monad itself, we need a distributive law natural transformation satisfying certain coherence laws. I'm interested in the strict 2-monad case, i.e. a strict ...
7 votes
1 answer
188 views

Algebras for products or limits of monads

If a category $C$ has limits of a certain type, then the category of monads on $C$ has the same type of limits, and these limits are computed "levelwise" (i.e. are preserved by the forgetful ...
3 votes
1 answer
58 views

Morphism of pseudomonads induces pullback functors between pseudoalgebras

If $S$ and $T$ are monads on a category $C$, and $\lambda:S\to T$ is a morphism of monads, it is well-known that there is a functor $\lambda^*:C^T\to C^S$ which assigns to the $T$-algebra $(A,a:TA\to ...
5 votes
1 answer
233 views

Intuitive meaning of Giry monad's $\sigma$-algebra

The Giry monad $G : \textbf{Meas} \to \textbf{Meas}$ maps a measurable space $(X, \mathcal{F})$ to its set of probability measures. The $\sigma$-algebra of $G(X, \mathcal{F})$ is the smallest algebra ...
2 votes
1 answer
184 views

What functors between categories of algebras are induced by morphisms of monads on $\mathrm{Set}$?

Let $M, N$ be monads of rank $\lambda$, where $\lambda$ is a regular cardinal (I'm primarily interested in the case of finitary monads). Is there a known characterization of functors $\mathrm{Alg}~N \...
3 votes
1 answer
188 views

Limits and colimits in the category of algebraic theories

Let $\mathrm{AlgTh}$ be the category of one-sorted algebraic theories (synonym: Lawvere theories; morphisms are functors that are identical on objects and strictly preserve products). It is known that ...
10 votes
1 answer
353 views

2-completeness of stacks

I am looking for a reference which discusses the 2-categorical properties of the 2-category $St(C,J)$ of stacks and the stackification $\dashv$ inclusion of presheaves 2-adjunction. My stacks are ...
3 votes
1 answer
167 views

Commuting filtered colimits & finite limits in infinitary theories

Filtered colimits & finite limits commute in categories that are finitary monadic over Set (i.e. algebras of finitary algebraic theories). Results such as Fred Linton's result that if categories ...
8 votes
1 answer
567 views

Is the Cartesian product of two finitely presented objects finitely presentable?

Let $C$ be a locally finitely presented category, $A, B$ are two finitely presented (synonym: compact) objects in it. Is it true that $A \times B$ is finitely representable? At least I have looked at ...
2 votes
1 answer
181 views

Literature about the category of finitary monads

This answer states that the category of finitary monads is locally presentable and monadic over the category $\mathrm{Set}^{\mathbb{N}}$. Where can I find proof of this claim? More generally: I've ...
4 votes
1 answer
201 views

Monads and modules, and the bicompletion under Kleisli and Eilenberg–Moore objects

In The Formal Theory of Monads, Street proves that a 2-category $\mathscr C$ admits the construction of algebras when the inclusion $\mathscr C \to \mathbf{Mnd}(\mathscr C)$ has a right adjoint. In ...
5 votes
0 answers
65 views

Does the restriction functor $j^* $ to Zariski open preserve the limit of $j^*$-split cosimplicial diagram?

This might be a trivial question but I could not find a satisfatory answer easily. Let $X = \mathbb{C}$ and $U = \mathbb{C}^*$, and let $j: U \to X$ denote the open embedding. Consider $j^* : QCoh(X) \...
4 votes
0 answers
121 views

Can a non-free monad have non-trivial "quine"?

Let $\mathbf{Poly}$ denote the category of polynomial functors on $\mathbf{Set}$, and let $\mathfrak{m}\colon\mathbf{Poly}\to\mathbf{Poly}$ be the free monad monad, i.e. the functor that sends every ...
3 votes
1 answer
147 views

Is a monad functor also known as a monad map?

Suppose I have a monad $M_S = \langle S , \eta_S, \mu_S \rangle$. I want to map this monad to another monad, $M_Q = \langle Q , \eta_Q, \mu_Q \rangle$. What is the minimum I have to define to give ...
2 votes
0 answers
124 views

Cat as a bicategory of monads over another category

Let's assume infinitely many Grothendieck universes exist. Let's call $\kappa$-Cat the bicategory of $\kappa$-small categories with anafunctors and anatural transformations. Now for any $\lambda$ and ...
5 votes
1 answer
222 views

Lift a monad along a generic right adjoint

$\require{AMScd}$We have a neat way to lift a monad along a monadic right adjoint, through a distributive law: in a setting like $$ \begin{CD} X @. X \\ @VUVV @VVUV\\ C @>>T> C \end{CD}$$ if ...
0 votes
1 answer
112 views

It's there a way to take a composite monad and a monad map to create a map of the composite?

Let us suppose you start with two monads, $M_S = \langle S , \eta_S, \mu_S \rangle$ and $M_T = \langle T , \eta_T, \mu_T \rangle$ and suppose you have a distributive law, $\lambda: ST \rightarrow TS$ ...
8 votes
1 answer
278 views

How many categories $C$ are there such that $C$ and $C^{\text{op}}$ are monadic over $\mathrm{Set}$?

In this question, bimonadic category is a category $C$ such that $C$ and $C^{\text{op}}$ are monadic over $\mathrm{Set}$. How many bimonadic categories are there? Can we classify them all? ...
9 votes
0 answers
99 views

Cocompleteness of enriched categories of algebras

A useful result due to Linton is that for a cocomplete category $C$ and monad $T$ on $C$, if the category of algebras $C^T$ admits reflexive coequalisers, then it is cocomplete (see here for a sketch ...
16 votes
2 answers
2k views

Why are operads sometimes better than algebraic theories?

Question 1: Are there any contexts in which replacing the category of (non-symmetric or symmetric) operads (in some monoidal category or symmetric monoidal category, respectively) with the category of ...
7 votes
1 answer
186 views

Free idempotent monad associated to a monad

Let $C$ be a category. There is a full subcategory $\text{IdemMnd}(C) \hookrightarrow \text{Mnd}(C)$ of the category of monads on $C$ spanned by the idempotent monads. Given a monad $T$ on $C$, ...
4 votes
1 answer
202 views

Is the category of computads for a finitary monad on $n$-globular sets cocomplete?

Context Given a finitary monad $T:\operatorname{gSet}_n\to\operatorname{gSet}_n$ we can define categories $\operatorname{Comp}_k^T$ of $k$-computads for $T$, for any $k=0,\cdots,n+1$. This is nicely ...
17 votes
1 answer
505 views

A new (?) way of composing monads

By composition of monads, I mean given two monads $S$ and $T$, making their composite $S T$ into a monad. Or more generally, given two monoid $X$ and $Y$ in a non-symetric monoidal category, making $X ...
13 votes
1 answer
495 views

Extending monads along dense functors

Let $j: \mathsf A \to \mathsf B$ be a fully faithful and dense functor where $\mathsf A$ is a small category and $\mathsf B$ is cocomplete. Let $(T, \eta, \mu)$ be a monad over $\mathsf A$. $\require{...
4 votes
1 answer
482 views

What is the category of algebras for the finitely supported measures monad?

In this post, I was introduced to the monad of finitely supported measures. $HX$ is the set of finitely supported measures on $X$, with monad structure defined as for the Giry monad. I have three ...

1
2 3 4 5