Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added a link to slides from a talk about HoTT-style stack semantics:
May I be bold and ask if you have an ETA for the updated/new version of the stack semantics paper? Understandably you have lots of other exciting projects…
The short answer is no. (-:
It’s definitely higher up on the to do list than it used to be, in that now I think I finally actually understand how it relates to HoTT (as I tried to explain in this talk). But I don’t know when I’ll get to it. The last time I tried, I somehow got distracted into playing around with constructive Quillen model structures…
Fair enough! It certainly looks a lot cleaner and even more conceptual presented the way you did, in any case.
Thanks! I think so too. The fact that I “knew” some more conceptual explanation like this “had” to exist is one reason why it took me so long to rework the original stack semantics paper in the first place.
1 to 5 of 5