| Attributes | Values |
|---|
| rdfs:label
| - Fondements univalents (fr)
|
| rdfs:comment
| - Parmi les fondements des mathématiques, les fondements univalents sont une approche des fondements des mathématiques constructives basée sur l'idée que les mathématiques étudient des structures de "types univalents" qui correspondent, en projection sur la théorie des ensembles, aux types d'homotopie. Les fondements univalents sont inspirés à la fois par les idées Platoniciennes de Hermann Grassmann et Georg Cantor et par la théorie des "catégories" d'Alexander Grothendieck. Ils s'écartent de la logique des prédicats comme système sous-jacent de la déduction formelle, en la remplaçant par une version de la théorie des types de Martin-Löf. Le développement des fondements univalents est étroitement lié au développement de la théorie des types homotopiques. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:fr
| - théorie des catégories supérieures (fr)
|
| prop-fr:langue
| |
| prop-fr:trad
| - Higher category theory (fr)
|
| foaf:isPrimaryTopicOf
| |
| has abstract
| - Parmi les fondements des mathématiques, les fondements univalents sont une approche des fondements des mathématiques constructives basée sur l'idée que les mathématiques étudient des structures de "types univalents" qui correspondent, en projection sur la théorie des ensembles, aux types d'homotopie. Les fondements univalents sont inspirés à la fois par les idées Platoniciennes de Hermann Grassmann et Georg Cantor et par la théorie des "catégories" d'Alexander Grothendieck. Ils s'écartent de la logique des prédicats comme système sous-jacent de la déduction formelle, en la remplaçant par une version de la théorie des types de Martin-Löf. Le développement des fondements univalents est étroitement lié au développement de la théorie des types homotopiques. Les fondements univalents sont compatibles avec le structuralisme dans la mesure où une notion de structure mathématique appropriée (c.à.d. catégorique) est adoptée. (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)