Timeline for Are simplicial sets the intended model of HoTT?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 11, 2013 at 14:22 | comment | added | François G. Dorais | When you say that HoTT should be the correct internal language for higher topos, do you include univalence or do you just mean the homotopy interpretation of identity types? | |
| Jul 11, 2013 at 8:34 | comment | added | Andrej Bauer | I agree in general, but disagree that models are only good for relative consistency proofs. They have many more uses than that. | |
| Jul 11, 2013 at 6:24 | history | answered | Neil Strickland | CC BY-SA 3.0 |