Note: Univalent Foundations: “No Comment.” | histre

scott 's note on histre

View All Public Notes

View scott's Public Notes View scott's Public Profile

Univalent Foundations: “No Comment.” mathematicswithoutapologies.wordpress.com

#HoTT #homotopy #math #article #pub

article •
homotopy •
hott •
math •
pub

Collect and share the web

Get started for free

Selection