Between Cohesive and Real-Cohesive HoTT? + Michael Shulman 's recent talk at the hott electronic seminar talks ( http://uwo.ca/math/faculty/kapulkin/seminars/hottest.html ) reminded me to write u ...