All Questions
2 questions
8
votes
0
answers
221
views
When is the Eilenberg-Moore category of a relative monad between two topoi a topos?
In the non-relative case, we have a theorem, that an Eilenberg-Moore category of algebras of a Monad $T$ on a topos is itself a topos if the monad in question has a right adjoint.
Now how does this ...
- 1,347
7
votes
1
answer
1k
views
Adjunctions: algebras of the induced monad VS. coalgebras of the induced comonad
Given an adjunction, we get a monad on one side and a comonad on the other side. What is the connection between their algebra and coalgebra categories? Are they always equivalent?
The example i have ...
- 3,249