Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
Can the type of truth values be given the structure of a group? | Homotopy Type Theory
https://homotopytypetheory.org/2021/01/23/can-the-type-of-truth-values-be-given-the-structure-of-a-group/
links
backlinks
Roast topics
Find topics
Find it!
When attempting to prove a theorem, not discussed in this post, I tried to give a certain set the structure of a group. After failing repeatedly, my proof attempts led me to consider a miniature ve…
