= 27d567bc2d48d9f40e9ccc20ea370b15)
11kilobytes comments on Open Thread, Jun. 1 - Jun. 7, 2015 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (203)
Would a series of posts explaining the basics of Homotopy Type Theory be well accepted here?
I estimate it will be well accepted in the sense that nobody objects to your posts. At the same time I wouldn't expect much engagement. I think your posts likely will receive a bit of upvotes and nearly no downvotes.
I'd be interested to read another take on it if there's some novel aspect to the explanation. Do you have a particular approach to explaining it that you think the world doesn't have enough of?
Yeah, the HoTT book doesn't have enough pictures and animations. The whole point of HoTT is that programs in type theory have homotopical content, that you can usually depict, at least for the very basics of the subject.