All Questions
Tagged with monads 2-categories
9 questions with no upvoted or accepted answers
9
votes
0
answers
192
views
What is the relationship between free bicompletion and the Isbell envelope?
Given a small category $\mathbb C$, we can form the free cocompletion $\mathbf y : \mathbb C \to \mathcal P(\mathbb C)$ and the free completion $\mathbf y^\circ : \mathbb C \to \mathcal P^\circ(\...
- 10.7k
9
votes
0
answers
323
views
To what kind of generalized Lawvere theory does the "free cartesian closed category" 2-monad on $\mbox{Cat}_g$ correspond?
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 ...
- 1,532
7
votes
0
answers
266
views
Relation between two limit presentations of Eilenberg--Moore objects
Let $\mathbb{T}=({\cal T}\colon C\to C,\mu,\eta)$ be a monad (in the
$2$-category $\mathsf{Cat}$), which we view as a $2$-functor
$\mathbb{T}\colon\mathsf{B}\Delta_{\mathrm{a}}\to\mathsf{Cat}$ (where
$...
- 446
7
votes
0
answers
161
views
Coherence for pseudomonads and their pseudoalgebras
Let $\mathcal K$ be a bicategory. For every pseudomonad $T : \mathcal K \to \mathcal K$, does there exist a 2-monad $S : \mathcal C \to \mathcal C$, where $\mathcal C$ is a 2-category biequivalent to $...
- 10.7k
6
votes
0
answers
75
views
What are the algebras of the powerset intersection (oplax) monad?
The assignment $X\mapsto\mathcal{P}(X)$ and $f\mapsto f_*$ (direct images) defines a functor $\mathcal{P}\colon\mathsf{Sets}\to\mathsf{Sets}$.
This functor has a monad structure whose multiplication $\...
- 11.8k
6
votes
0
answers
98
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 ...
- 10.7k
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 ...
- 10.7k
3
votes
0
answers
71
views
Adjoints to the forgetful functor from the $2$-category of monads
For the purpose of this post, we will identify a monad $T$ on a category $\mathcal{C}$ with a lax $2$-functor $T:{\bf 1}\to\mathfrak{Cat}$ such that $T(*)=\mathcal{C}$.
There is an obvious forgetful ...
- 10.1k
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$...
- 10.7k