https://www.academia.edu/36650692/What_do_we_want_a_foundation_to_do_Comparing_set-theoretic_category-theoretic_and_univalent_approaches Highly recommended. Sent from my iPhone -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20180516/bef3ac00/attachment.html>