An introduction to univalent foundations for mathematicians [pdf]arxiv.org2 points·fermigier··0 commentsOpen articleSaveView on HN