this post was submitted on 12 Aug 2023
224 points (100.0% liked)

196

17448 readers
1266 users here now

Be sure to follow the rule before you head out.


Rule: You must post before you leave.



Other rules

Behavior rules:

Posting rules:

NSFW: NSFW content is permitted but it must be tagged and have content warnings. Anything that doesn't adhere to this will be removed. Content warnings should be added like: [penis], [explicit description of sex]. Non-sexualized breasts of any gender are not considered inappropriate and therefore do not need to be blurred/tagged.

If you have any questions, feel free to contact us on our matrix channel or email.

Other 196's:

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] kogasa@programming.dev 1 points 2 years ago (1 children)

What are you doing with the HoTT book if you have never heard of Cantor's theorem??? You must understand there's a minimum of several years of intensive study in between these two things

[–] silent_water@hexbear.net 1 points 2 years ago

self-study. it's been a decade since I was in school and kept encountering references to it, so I've been working through a lecture series and the book.