教材 2016年度 数理科学III

西村, 泰一

2016
内容記述
Homotopy Type Theory lies at the crossroads of computer science, mathematical logic and homotopy theory. It was found out in the first decade of this century that dependent type theory is no other than the internal language for (abstract) homotopy theory, just as the Mitchell-Benabou language is the internal language for topos theory. It is pleasing to note that the Freudenthal suspension theorem, the Blakers-Massey homotopy excision theorem, Whitehead's principle for n-types, the van Kampen theorem, and some other famous theorems are given new proofs within homotopy type theory.
数理科学IIIA(春学期)数理科学IIIB(秋学期)
本文を読む

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=1

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=2

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=3

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=4

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=5

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=6

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=7

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=8

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=13

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=9

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=14

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=10

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=11

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=12

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=17

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=15

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=16

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=18

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=19

https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=37910&item_no=1&attribute_id=17&file_no=20

このアイテムのアクセス数:  回

その他の情報