• Kogasa@programming.dev
    link
    fedilink
    arrow-up
    1
    ·
    1 year ago

    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 [she/her]@hexbear.net
      link
      fedilink
      English
      arrow-up
      1
      ·
      1 year 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.