Timeline for Homotopy type theory: Are the hierarchy of Type_k universes isomorphic?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 16, 2017 at 3:02 | review | Close votes | |||
| Jul 16, 2017 at 14:50 | |||||
| Jul 11, 2017 at 15:24 | vote | accept | Brandon Brown | ||
| Jul 11, 2017 at 14:08 | comment | added | Andrej Bauer | Readers beware: this question falsely states that the only element of $\mathtt{Type}_{k+1}$ is $\mathtt{Type}_{k}$. Each type universe $\mathtt{Type}_{k}$ has an infinitude of elements. | |
| Jul 11, 2017 at 14:06 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
LaTeX notation
|
| Jul 11, 2017 at 13:58 | answer | added | Andrej Bauer | timeline score: 15 | |
| Jul 11, 2017 at 12:57 | answer | added | Anton Fetisov | timeline score: 1 | |
| Jul 11, 2017 at 12:52 | comment | added | Andrej Bauer | This is not a research-level question. It is better suited for math.stackexchange.com. But I understand that not too many type theorists hang out there, so I'll answer. | |
| Jul 11, 2017 at 9:27 | review | Close votes | |||
| Jul 11, 2017 at 12:22 | |||||
| Jul 11, 2017 at 8:13 | answer | added | Valery Isaev | timeline score: 3 | |
| Jul 11, 2017 at 0:52 | history | asked | Brandon Brown | CC BY-SA 3.0 |