/sci/ - Science & Math » Thread #11587493

Archives: [ cm / sci / v / y ]

34KiB, 720x462, FB_IMG_1585596559070.jpg

View Same Google iqdb SauceNAO

Is type theory and homotopy type theory a meme?

Anonymous Tue 21 Apr 09:56:10 2020 No.11587493 View Reply Original Report

Quoted By:

Or will it replace set theory in the future? I'm planning to read the HoTT book, is it any good?

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First