astradiol

(Jointly written by Astra Kolomatskaia and Mike Shulman) This is part one of a three-part series of expository posts on our paper Displayed Type Theory and Semi-Simplicial Types. In this part, we motivate the problem of constructing SSTs and recap its history. A Prospectus There are different ways to describe...