All Questions
1 question with no upvoted or accepted answers
7
votes
0
answers
408
views
Applications of Monadicity theorems
This is crosspost of this MSE question.
Having carefully read the proof of Beck's monadicity theorems and some related variations, I'm now hungry for cool applications.
For instance, I found these ...
- 10.5k