Timeline for What is the universal property of algebras for the codensity monad?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10, 2022 at 18:46 | comment | added | varkor | Nunes's Semantic Factorization and Descent may be related to what you are looking for (in particular, the "semantic factorisation" described within). | |
| Feb 10, 2022 at 18:29 | history | edited | Martin Sleziak |
The tag (monads) seem suitable to me - of course, feel free to revert my edit if you think the tag does not fit.
|
|
| Feb 10, 2022 at 17:52 | answer | added | Simon Henry | timeline score: 2 | |
| Feb 10, 2022 at 17:42 | history | asked | Tim Campion | CC BY-SA 4.0 |