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 the University of San Diego

Posted in Jobs, News | Leave a comment

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