**97 monads questions.**

I may be wrong, but we should be able to write the Bag monad in a polynomial form. The bag monad, is exectly the multiset monad whose category of algebras are the commutative monoids. Another name ...

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 ...

Let $\mathcal{C}$ be a combinatorial model category and $\mathrm{T}$ a monad on
$\mathcal{C}.$
Assume that the model structure on $\mathcal{C}$ lifts to a model structure on
the category of $\...

We know that Frobenius objects in a monoidal category obey a diagrammatic string calculus. We also know that trees are polynomial functors (Kock - Polynomial functors and trees). The string calculus ...

In various places it is stated that the continuation monad can simulate all monads in some sense (see for example http://lambda1.jimpryor.net/manipulating_trees_with_monads/))
In particular, in http://...

Let $T$ be a monad on a concrete category $\mathcal{C}$, and $A$ an algebra over $T$. The bar construction is a simplicial object in the category $\mathcal{C}^T$ of algebras which we can think of a ...

Given a monad, $(M, \mu, \eta)$, where $M: C \rightarrow C$ for some category $C$, there is a category of factorizations, $F\cdot G = M$ where $F: X \rightarrow C$, $G: C \rightarrow X$. Though this ...

My question regards the Curry Howard Isomorphism and how it constrains models in the case of a particular logic.
Consider quantified Lax Logic $QLL$.
https://pdfs.semanticscholar.org/468e/...

A distributive law of a monad $S$ over a monad $T$ is a natural transformation $l : T S \to S T$ such that:
$l \circ T \eta^S = \eta^S T$
$l \circ \eta^T S = S \eta^T$
$\mu^S T \circ S l \circ l S = ...

Let $\mathrm{F}: \mathcal{C} \rightleftarrows \mathcal{D} : \mathrm{G} $ be an adjunction with associated monad $\mathrm{T} = \mathrm{G} \mathrm{F} .$
If $\mathcal{D} $ admits coequalizers of $\...

Unless I'm mistaken the "Free completion under finite limits monad" $C \mapsto C^{lex}$ and the "free co-completion monad" $C \mapsto \widehat{C}$ (the categories of small presheaves) satisfies a ...

Stoch is the category of Measurable spaces and stochastic maps. It is the Klesli category of the Giry monad. Deterministic theories form a subcategory of Stoch. Specifically, the objects are just ...

Many different kinds of data structures can be captured as Monads. Lists and trees are two good examples. A domain (dcpo) is like a tree, with extra axioms.
Definition. A directed subset of a ...

The Giry monad consists of an endofunctor, $P$, on the category of measureable spaces $\mathcal{M}$, as well as two natural transformations $\mu, \eta$ known as the product and unit respectively. $P$ ...

Ahman et al. wrote about when a container is a comonad. Containers can also be monads, such as List. This means that we can take all containers that are endofunctors on Set and they live in the ...

A Bag is a data structure, like a list, that stores items with no concept of order. The only operations on the structure is to add an item and then iterate through the items with no guarantee as to ...

The Giry Monad captures probability measures. What is the adjunction that generates the Giry Monad? To narrow this down, perhaps we can talk about the adjunction between the category of Polish ...

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 ...

I am wondering if it is possible to have a bimonad on $\mathsf{Set}$ that preserves equalizers on both sides? What about a bimonad that is exact? Can you give an example?
Let me try to explain what ...

I would like to find explicit definitions of pseudo, or even lax, algebras for a 2-monad, and their lax morphisms, with all the coherence diagrams included.
Alternatively, coherent lax algebras for ...

It's known that giving a semidirect product $(X,m)\rtimes G$ of a $G$-group $(X,m)$ with $G$ (as defined in wiki) is the same as giving a split pair over $G$, i.e a pair of arrows $H\overset{s}{\...

By Koudenburg The paper (arXiv:[1511.04070])(https://arxiv.org/pdf/1511.04070) generalizes 2-monad associated to hyper virtual double category.
Another paper (arXiv:[1310.8279]) (https://arxiv.org/...

In this paper we see a Frobenius Monad in example 5.2. Suppose we take Hilb as the underlying category. Is this functor left exact? Does it preserve equalizers?

For some monad T on a virtual equipment, the paper A unified framework for generalized multicategories by Cruttwell and Shulman (arXiv:0907.2460) proposes the normalized T-monoid.
Another paper, by ...

Fong's paper Causal Theories: A Categorical Perspective on Bayesian Networks talks about causal theories. He describes words of random variables at the top of page 42:
For the objects of CG we ...

Given an augmented simplicial object $d_\bullet:X_\bullet \to \Delta X_{-1}$, suppose there's a simplicial map $s_\bullet :\Delta X_{-1}\to X_\bullet$ making $d_\bullet$ a deformation retract, i.e ...

Has anyone ever seen a Monad that is very much like the List Monad but is also a co-monad, and also a Frobenius monad? In this paper they give examples of List-like monads called Containers and they ...

It seems to be folklore that if we have an actegory, i.e. a monoidal functor from a monoidal category $C$ to an endofunctor category $Cat(D,D)$, we can obtain from it a monad on $D$. This appears for ...

In an earlier post, What is known about the category of monads on Set?
the following observation was made:
What's more, all but two monads on Set have the property that there
exists an algebra ...

The question is in the title, but let me specify what I mean by the category of graphs.
In the context of this question, the category of graphs is the category of symmetric irreflexive relations. ...

The Maybe monad is based on the endofunctor $- + 1$ (coproduct with the singleton set). Its Lawvere theory $L$ is supposed to be generated by one nullary operation (...

There is a notion of morphism from a monad $T:\mathscr C\to \mathscr C$ to another one $T':\mathscr C'\to \mathscr C'$. It arose here on MO e. g. in "Functors between monads": what are these ...

I heard a professor say that $\lambda$-rings are both monadic and comonadic over commutative rings. Remark 2.11(a) on the nlab page says the same.
What does it mean, intuitively, that a category is ...

Do monads which are monoidal and opmonoidal have a name? (Bimonoidal?) In case they have already been studied, who can point me to a reference?
More in detail. Let $(C,\otimes)$ be a symmetric (or ...

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 ...

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: ...

If $T$ is a monad on a category $\mathcal C$ and $T'$ is a monad on $T$-algebras, then (if I understand the answers of this question correctly) the adjunction between $\mathcal C$ and $T'$-algebras is ...

A polynomial monad on a locally cartesian closed category $C$ is a monad whose underlying endofunctor is a polynomial functor and whose unit and multiplication are cartesian transformations. Since a ...

This is crosspost of this MSE question.
Having carefully read the proof of Beck's monadicity theorems and some related variations, I'm now hungry for cool applications.
For instance, I found these ...

I have a monad $T: \mathcal{C} \to \mathcal{C}$ on a (Grothendieck) abelian category which preserves filtered colimits and direct sums (but is not exact). There is a finite collection $G$ of compact, ...

Thinking of Cat as a mere 1-category, there is a 1-monad $\Lambda$ for the free cartesian closed category on a category. To every category X it assigns the category $\Lambda(X)$ whose objects are ...

I'm trying to understand better what it means for a monad to be finitary. I know that Lawvere theories correspond to finitary monads, but I don't really understand the definition in terms of filtered ...

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 ...

Many years ago, Lawvere showed that the forgetful functor $U: \mathbf{Endo}\to \mathbf{Set}$ has a left adjoint $F$ if and only if $\mathbf{Set}$ has a natural numbers object, where $\mathbf{Endo}$ is
...

Background:
A pointed object $X$ in a category $C$ with terminal object $*$ is a map $*\rightarrow X$. Such objects with basepoint-preserving maps form their own category of pointed objects $C^{*/}$. ...

Has the monad induced by the free commutative monoid functor already been studied anywhere? Does it have any particular properties (other than not being cartesian)?
I would prefer a reference on ...

Kelly describes a constructive procedure for building the algebraically free monad on a pointed endofunctor. Garner gives a concise summary, which I partially review here for convenience.
Let $V$ be ...

I'm trying to understand the idea of an Albanese variety. It reminds me of something simpler:
Given a set $X$ with a chosen point $x \in X$, we can form the free abelian group on the pointed set $(X,...

In the list monad, your map $TT \rightarrow T$ takes a list of lists and concatenates them to form a list. There is another way to take a list of lists and create a list, which is to shuffle randomly ...

List is known to be a monad. It takes a set and maps it to lists of elements of that set. The natural transformations are, singleton and flatten, whereby we map a set to a set of singleton lists ...

- ct.category-theory
- reference-request
- operads
- at.algebraic-topology
- homotopy-theory
- universal-algebra
- adjoint-functors
- higher-category-theory
- monoidal-categories
- simplicial-stuff
- computer-science
- limits-and-colimits
- descent
- pr.probability
- 2-categories
- lo.logic
- model-categories
- quantum-mechanics
- loop-spaces
- lambda-calculus
- cartesian-closed-categories
- ag.algebraic-geometry
- gr.group-theory
- graph-theory
- gn.general-topology