Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Univalent_foundations> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Univalent_foundations abstract "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. It departs from the use of predicate logic as the underlying formal deduction system, replacing it, at the moment, by a version of the Martin-Löf type theory. The development of the univalent foundations is closely related with the development of homotopy type theory.Univalent foundations are compatible with structuralism, if an appropriate (i.e. categorical) notion of mathematical structure is adopted.".
- Univalent_foundations wikiPageExternalLink FOLDS.pdf.
- Univalent_foundations wikiPageExternalLink HoTT.
- Univalent_foundations wikiPageExternalLink Foundations.
- Univalent_foundations wikiPageExternalLink 2014_Paul_Bernays_Lectures.
- Univalent_foundations wikiPageExternalLink 1401.0053.
- Univalent_foundations wikiPageExternalLink home.html.
- Univalent_foundations wikiPageExternalLink ober3.pdf.
- Univalent_foundations wikiPageExternalLink ober4.pdf.
- Univalent_foundations wikiPageID "44554214".
- Univalent_foundations wikiPageLength "11880".
- Univalent_foundations wikiPageOutDegree "32".
- Univalent_foundations wikiPageRevisionID "678737798".
- Univalent_foundations wikiPageWikiLink Agda_(programming_language).
- Univalent_foundations wikiPageWikiLink Alexander_Grothendieck.
- Univalent_foundations wikiPageWikiLink Calculus_of_Inductive_Constructions.
- Univalent_foundations wikiPageWikiLink Calculus_of_constructions.
- Univalent_foundations wikiPageWikiLink Category:Foundations_of_mathematics.
- Univalent_foundations wikiPageWikiLink Category_theory.
- Univalent_foundations wikiPageWikiLink Constructive_mathematics.
- Univalent_foundations wikiPageWikiLink Constructivism_(mathematics).
- Univalent_foundations wikiPageWikiLink Coq.
- Univalent_foundations wikiPageWikiLink Coq_(proof_assistant).
- Univalent_foundations wikiPageWikiLink Excluded_middle.
- Univalent_foundations wikiPageWikiLink Foundations_of_mathematics.
- Univalent_foundations wikiPageWikiLink Georg_Cantor.
- Univalent_foundations wikiPageWikiLink H-level.
- Univalent_foundations wikiPageWikiLink Hermann_Grassmann.
- Univalent_foundations wikiPageWikiLink Higher_category_theory.
- Univalent_foundations wikiPageWikiLink Homotopy.
- Univalent_foundations wikiPageWikiLink Homotopy_type.
- Univalent_foundations wikiPageWikiLink Homotopy_type_theory.
- Univalent_foundations wikiPageWikiLink Infinity_groupoid.
- Univalent_foundations wikiPageWikiLink Intuitionistic_type_theory.
- Univalent_foundations wikiPageWikiLink Law_of_excluded_middle.
- Univalent_foundations wikiPageWikiLink Marc_Bezem.
- Univalent_foundations wikiPageWikiLink Martin-Löf_type_theory.
- Univalent_foundations wikiPageWikiLink Michael_Makkai.
- Univalent_foundations wikiPageWikiLink Michael_Shulman_(mathematician).
- Univalent_foundations wikiPageWikiLink Philosophy_of_mathematics.
- Univalent_foundations wikiPageWikiLink Predicate_logic.
- Univalent_foundations wikiPageWikiLink Simon_Huber.
- Univalent_foundations wikiPageWikiLink Structuralism_(philosophy_of_mathematics).
- Univalent_foundations wikiPageWikiLink Séminaire_Nicolas_Bourbaki.
- Univalent_foundations wikiPageWikiLink Thierry_Coquand.
- Univalent_foundations wikiPageWikiLink UniMath.
- Univalent_foundations wikiPageWikiLink Vladimir_Voevodsky.
- Univalent_foundations wikiPageWikiLink ∞-groupoid.
- Univalent_foundations wikiPageWikiLinkText "Univalent foundations".
- Univalent_foundations wikiPageWikiLinkText "univalent foundations".
- Univalent_foundations hasPhotoCollection Univalent_foundations.
- Univalent_foundations wikiPageUsesTemplate Template:Citation.
- Univalent_foundations wikiPageUsesTemplate Template:Reflist.
- Univalent_foundations subject Category:Foundations_of_mathematics.
- Univalent_foundations hypernym Approach.
- Univalent_foundations type ProgrammingLanguage.
- 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.".
- Univalent_foundations label "Univalent foundations".
- Univalent_foundations sameAs m.012dsl8m.
- Univalent_foundations wasDerivedFrom Univalent_foundations?oldid=678737798.
- Univalent_foundations isPrimaryTopicOf Univalent_foundations.