added cross-link with Awodey’s conjecture and pointer to
I have added this pointer:
Each time I am looking for where to link to for exposition of the subject, I find these slides, form almost 10 years ago, are still among the best available.
]]>Added proposed advantages of cubical type theory.
]]>Sorry. Yes, that’s certainly true.
]]>basing the entry on Urs’s FOM comment
If that’s the case, we should probably reference it.
]]>It’s probably to specific to the Blakers-Massey proof, but I have to be elsewhere.
]]>Well I made a start, basing the entry on Urs’s FOM comment.
]]>