All Questions
Tagged with monads reference-request
34 questions
4
votes
1
answer
219
views
Reference request: Algebras over monoid objects in a monoidal category [duplicate]
Looking for a reference for the following easy-to-prove fact:
Say $T$ and $S$ are monads on $\text{Set}$ admitting a monoid homomorphism $\phi : S \to T$ (i.e., a morphism in $\text{Mon}([\text{Set},\...
3
votes
0
answers
49
views
Lax morphism classifiers via lax-idempotentification
Let $T$ be a 2-monad on a nice 2-category $\mathcal K$, so that the inclusion $T\text{-}\mathbf{Alg}_s \to T\text{-}\mathbf{Alg}_l$ of the 2-category of (strict) $T$-algebras and strict $T$-algebra ...
13
votes
3
answers
672
views
How algebraic can the dual of a topological category be?
(I'm going to try to use definitions from Abstract and Concrete Categories: The Joy of Cats by Adámek, Herrlich, and Strecker, since both of the adjectives in the title of my question seem to have at ...
3
votes
1
answer
195
views
Double category of monads and pseudo monad-morphisms
We can construct bicategories of monads in a bicategory $B$, $Mnd_l(B)$/$Mnd_c(B)$ with lax and colax monad-morphisms respectively.
I am failing to find a good notion of pseudo monad-morphisms.
Is ...
6
votes
0
answers
86
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, ...
1
vote
0
answers
89
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 ...
2
votes
1
answer
214
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 ...
7
votes
1
answer
216
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
208
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 ...
6
votes
1
answer
358
views
Are infinitary monads monadic?
As discussed here, Are monads monadic?, in "On the monadicity of finitary monads" by Steve Lack, the following is shown, the forgetful functor from $Mnd_f(C) \rightarrow Endo_f(C)$ is ...
2
votes
1
answer
243
views
Well-behaved monad quotients
Reading through Modular specification of monads through higher-order presentations, this paper includes the following lemma within set-truncated homotopy type theory:
Given a monad $R$ (they work on ...
6
votes
0
answers
125
views
Original reference for the correspondence between commutative algebraic theories and commutative monads
Commutative algebraic theories were introduced by Linton in the 1966 paper Autonomous Equational Categories. Commutative monads were introduced by Kock in the 1970 paper Monads on symmetric monoidal ...
17
votes
2
answers
1k
views
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
Many papers refer to an untitled manuscript of Jon Beck (Cornell, 1966) for the origin of the monadicity theorem (originally called a "tripleability theorem"). An early proof is in Manes's ...
4
votes
2
answers
356
views
The bidualizing monad
Let $\mathbf{C}$ be a closed symmetric monoidal category (I probably need even less than this; the examples I have in mind are simply the category of modules over a commutative ring and the category ...
15
votes
3
answers
768
views
Reference request for Linton's theorems on equational theories
This is a reference request for the following "well-known" theorems in category theory:
There is an equivalence of categories between finitary monads on $\mathbf{Set}$ and finitary Lawvere ...
3
votes
0
answers
70
views
Lax algebras for pseudomonads and monads in Kleisli bicategories for the induced pseudocomonad
In Day–Street's Lax monoids, pseudo-operads, and convolution, they remark without proof:
There are general principles involved here. Suppose $(T, m, j)$ is a pseudomonad on any bicategory $\mathcal K$...
3
votes
1
answer
66
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 ...
7
votes
1
answer
214
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 ...
1
vote
1
answer
164
views
Internal commutative monoid gives commutative monad
Let $(C,\otimes,1)$ be a symmetric monoidal category. Let $(M,\mu,\eta)$ be an internal commutative monoid object.
The functor $X\mapsto M\otimes X$ has a canonical monad structure, with unit and ...
10
votes
1
answer
485
views
Relative cocompletion of a category
$\newcommand{\k}{\mathbf k}$
$\newcommand{\A}{\mathcal A}$
$\newcommand{\B}{\mathcal B}$
$\newcommand{\C}{\mathcal C}$
I'm wondering if anyone knows a reference for the following construction: let $\k$...
4
votes
1
answer
363
views
Locally presentable categories
Under category
Let $C$ be a locally presentable category, and let $c$ be an object of $C$. Lets denote by $C^{/c}$ the under category, objects are maps $c\rightarrow x$ and morphisms are the evident ...
6
votes
1
answer
213
views
References requestion : Pretopos are algebras for a composed monad?
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 ...
3
votes
1
answer
118
views
Pseudo or lax algebras for a 2-monad, reference request
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 ...
2
votes
1
answer
339
views
Monad induced by actegory
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 ...
9
votes
5
answers
1k
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 ...
7
votes
1
answer
345
views
Has anybody studied strict/pseudo morphisms of monads?
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 ...
5
votes
0
answers
76
views
Monads which are monoidal and opmonoidal
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 ...
2
votes
0
answers
313
views
Free commutative monoid monad
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 ...
5
votes
2
answers
529
views
Algebras for probability monad
What is the Eilenberg-Moore category for the non-finitary probability distribution monad is, that is, the monad $D \colon \mathbf{Set} \to \mathbf{Set}$ defined by
$$
DX = \left\{ p \in [0,1]^X \ \...
6
votes
1
answer
481
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
933
views
Is there any nontrivial monad on the category of graphs?
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. ...
10
votes
1
answer
632
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 ...
18
votes
1
answer
1k
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 ...
21
votes
3
answers
3k
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 ...