All Questions
2 questions with no upvoted or accepted answers
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 $...
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 ...