Monthly Archives: September 2017

David Corfield : #HoTT and the vertical unity of concepts in mathematics

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια:
Source?: David Corfield : #HoTT and the vertical unity of concepts in mathematics

Posted in Uncategorized | Leave a comment

Arte : fresque sur le Vietnam, en 9 épisodes

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια:
Source?: Arte : fresque sur le Vietnam, en 9 épisodes

Posted in Uncategorized | Leave a comment

#∞-cosmoi : nouveau travail de Dominic Verity et Emily Riehl : “The comprehension construction”

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια:
Source?: #∞-cosmoi : nouveau travail de Dominic Verity et Emily Riehl : “The comprehension construction”

Posted in Uncategorized | Leave a comment

#HoTT The Book : chapitre 1 , types vs sets

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια:
Source?: #HoTT The Book : chapitre 1 , types vs sets

Posted in Uncategorized | Leave a comment