Monthly Archives: January 2021
Can the type of truth values be given the structure of a group?
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 version of the problem: can … Continue reading
Posted in Uncategorized
7 Comments
Postdoctoral position in HoTT at Johns Hopkins University
The Department of Mathematics at Johns Hopkins University solicits applications for one two-year postdoctoral fellowship beginning Summer 2021 (with some flexibility in the start and end dates). The position is funded by the Air Force Office of Scientific Research (AFOSR) … Continue reading
Posted in Uncategorized
1 Comment
Homotopy Type Theory 