Timeline for The set-theoretic multiverse as a (bi)category
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 22, 2012 at 11:38 | comment | added | Mirco A. Mannucci | Thanks David! I have heard about AST before, but frankly I know nothing about it. In your ref, there is a great survey paper by Steve Awodey, so, I will start from there. | |
| Jul 22, 2012 at 10:37 | comment | added | David Roberts♦ | Compare algebraic set theory, where there is a monad $ZF$ on a 'category of classes' such that free algebras for this $ZF$ are precisely models of ZF(C). See e.g. ncatlab.org/nlab/show/algebraic+set+theory and references there. | |
| Jul 21, 2012 at 20:59 | history | edited | Mirco A. Mannucci | CC BY-SA 3.0 |
added 821 characters in body
|
| Jul 21, 2012 at 20:15 | history | edited | Mirco A. Mannucci | CC BY-SA 3.0 |
added 326 characters in body
|
| Jul 21, 2012 at 18:51 | history | answered | Mirco A. Mannucci | CC BY-SA 3.0 |