Skip to main content

All Questions

Tagged with
2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 $...
varkor's user avatar
  • 10.7k
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 ...
varkor's user avatar
  • 10.7k