06 - Théorie des types dépendants et formalisation des mathématiques : Modèles de la théorie des types et du principe d'univalence
カートのアイテムが多すぎます
ご購入は五十タイトルがカートに入っている場合のみです。
カートに追加できませんでした。
しばらく経ってから再度お試しください。
ウィッシュリストに追加できませんでした。
しばらく経ってから再度お試しください。
ほしい物リストの削除に失敗しました。
しばらく経ってから再度お試しください。
ポッドキャストのフォローに失敗しました
ポッドキャストのフォロー解除に失敗しました
06 - Théorie des types dépendants et formalisation des mathématiques : Modèles de la théorie des types et du principe d'univalence
-
ナレーター：
-
著者：
このコンテンツについて
Collège de France
Thierry Coquand
Informatique et sciences numériques (2024-2025)
Année 2024-2025
06 - Théorie des types dépendants et formalisation des mathématiques : Modèles de la théorie des types et du principe d'univalence
Plan du cours :
modèle de Voevodsky des ensembles simpliciaux et caractère non effectif de ces modèles ;
modèles effectifs avec ensembles cubiques ;
application à une définition de structure de modèle la Quillen sur certains modèles de préfaisceaux ;
définition constructive des types d'homotopie des espaces topologiques.
まだレビューはありません