Matches in DBpedia 2016-04 for { ?s ?p "In foundations of mathematics, univalent foundations is an approach to the foundations of constructive mathematics based on the idea that mathematics studies structures on \"univalent types\" that correspond, under the projection to set-theoretic mathematics, to homotopy types. Univalent foundations are inspired both by the old Platonic ideas of Hermann Grassmann and Georg Cantor and by the \"categorical\" mathematics in the style of Alexander Grothendieck."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Univalent_foundations comment "In foundations of mathematics, univalent foundations is an approach to the foundations of constructive mathematics based on the idea that mathematics studies structures on \"univalent types\" that correspond, under the projection to set-theoretic mathematics, to homotopy types. Univalent foundations are inspired both by the old Platonic ideas of Hermann Grassmann and Georg Cantor and by the \"categorical\" mathematics in the style of Alexander Grothendieck.".