Timeline for Trying to construct the ultrafilter 2-monad on $\mathbf{Cat}$
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 25, 2019 at 13:43 | comment | added | twocubes | @IvanDiLiberti Probably! I'm still learning... | |
| Aug 25, 2019 at 13:43 | comment | added | twocubes | @AsafKaragila no comment :þ | |
| Aug 25, 2019 at 13:17 | vote | accept | twocubes | ||
| Aug 25, 2019 at 4:17 | history | edited | Martin Sleziak |
added the (monads) tag - feel free to rollback my edit if you think that the tag is not a good fit
|
|
| Aug 25, 2019 at 0:20 | answer | added | Andreas Blass | timeline score: 5 | |
| Aug 24, 2019 at 21:32 | comment | added | Ivan Di Liberti | Wouldn't it be more natural to define it as the codensity monad of finitely presentable objects in Cat?! | |
| Aug 24, 2019 at 20:48 | history | edited | twocubes | CC BY-SA 4.0 |
edited title
|
| Aug 24, 2019 at 20:47 | comment | added | Asaf Karagila♦ | I hope you didn't get scratched. | |
| Aug 24, 2019 at 20:09 | history | asked | twocubes | CC BY-SA 4.0 |