About: Univalent foundations

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Mathematical concept

Property	Value
dbo:description	mathematical concept (en)
dbo:wikiPageExternalLink	https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html https://github.com/HoTT/HoTT https://github.com/UniMath/UniMath/tree/master/UniMath/Foundations
dbo:wikiPageWikiLink	dbr:Georg_Cantor dbr:Category_theory dbr:Michael_Makkai dbr:Alexander_Grothendieck dbr:Hermann_Grassmann dbr:Homotopy dbr:Thierry_Coquand dbr:Simplicial_set dbr:Partially_ordered_set dbr:Diagram_(category_theory) dbr:Séminaire_Nicolas_Bourbaki dbc:Foundations_of_mathematics dbr:Philosophy_of_mathematics dbr:Structuralism_(philosophy_of_mathematics) dbr:Agda_(programming_language) dbr:Axiom_of_choice dbr:Vladimir_Voevodsky dbr:Foundations_of_mathematics dbr:Higher_category_theory dbr:Homotopy_type_theory dbr:Constructive_mathematics dbr:Michael_Shulman_(mathematician) dbr:Predicate_logic dbr:Martin-Löf_type_theory dbr:Excluded_middle dbr:Marc_Bezem dbr:Coq_(proof_assistant) dbr:Calculus_of_Inductive_Constructions dbr:Univalence_axiom dbr:Infinity_groupoid dbr:Simon_Huber dbr:UniMath
dbp:wikiPageUsesTemplate	dbt:Foundations-footer dbt:Reflist dbt:Notelist dbt:Citation dbt:Wiktionary-inline dbt:Rp dbt:Efn dbt:Short_description
dct:subject	dbc:Foundations_of_mathematics
gold:hypernym	dbr:Approach
rdfs:label	Univalent foundations (en) Fondements univalents (fr)
owl:sameAs	freebase:Univalent foundations yago-res:Univalent foundations wikidata:Univalent foundations dbpedia-fr:Univalent foundations dbpedia-global:Univalent foundations dbr:Univalent foundations
prov:wasDerivedFrom	wikipedia-en:Univalent_foundations?oldid=1291361100&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Univalent_foundations
is dbo:wikiPageDisambiguates of	dbr:Univalent
is dbo:wikiPageWikiLink of	dbr:Set_theory dbr:Equality_(mathematics) dbr:QED_manifesto dbr:Structuralism_(philosophy_of_mathematics) dbr:Vladimir_Voevodsky dbr:Homotopy_type_theory dbr:Univalent dbr:Michael_Shulman_(mathematician) dbr:Thorsten_Altenkirch dbr:Applied_category_theory
is foaf:primaryTopic of	wikipedia-en:Univalent_foundations