Define homotopic, homotopy, Path homotopy.... | Filo
Define homotopic, homotopy, Path homotopy.... | Filo
9 个月之前
askfilo.com
Thorsten's Inaugural lecture
Thorsten's Inaugural lecture
已浏览 3072 次2019年11月21日
YouTubeThorsten Altenkirch
André Joyal --- Homotopy type theory a new bridge between logic, category theory
1:43:33
André Joyal --- Homotopy type theory a new bridge between logic…
已浏览 516 次2019年3月3日
bilibiliLamGalois
Carlo Angiuli - Homotopy Type Theory 101
1:04:55
Carlo Angiuli - Homotopy Type Theory 101
已浏览 513 次2021年5月30日
YouTubeBoston Computation Club
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky
35:18
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voev…
已浏览 1204 次2020年7月20日
bilibiliPoincare
Introduction to Homotopy Type Theory (Summer 2021)
1:22:14
Introduction to Homotopy Type Theory (Summer 2021)
已浏览 994 次2021年12月9日
bilibili他方星云
等变与 motivic 同伦论, 孔嘉, IAS, 2021
17:03
等变与 motivic 同伦论, 孔嘉, IAS, 2021
已浏览 3364 次2023年4月2日
bilibiliTeichmuller
39:30
Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUC…
已浏览 1.3万 次2020年12月28日
YouTubeRuni
18:20
What is...homotopy?
已浏览 2.9万 次2021年8月1日
YouTubeVisualMath
57:06
Homotopy Type Theory for Mathematicians
已浏览 1307 次2021年1月28日
bilibiliPoincare
5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
已浏览 6.4万 次2017年10月6日
YouTubeComputerphile
4:55
Introduction à la théorie d'homotopie
已浏览 7951 次2017年8月25日
YouTubeTrès Facile !
22:56
L1.1 General problem. Non-degenerate perturbation theory
已浏览 30.9万 次2019年2月14日
YouTubeMIT OpenCourseWare
1:47:40
A Homotopy Algebraic Formalism for Probability Theory By Gabriel …
已浏览 435 次2020年9月21日
bilibili尼古丁真博士
1:16:02
2. Path Homotopy; the Fundamental Group - Pierre Albin
已浏览 4.5万 次2019年1月2日
YouTubeMat Neth
1:03:41
1. History of Algebraic Topology; Homotopy Equivalence - Pierre Al…
已浏览 16.1万 次2019年1月2日
YouTubeMat Neth
31:42
EPIT Spring School on HoTT: Andrej Bauer Part 5 (Univalence)
已浏览 371 次2021年4月12日
YouTubeEPIT Spring School on Homotopy Type Theory
21:08
Homeomorphism and Homotopy Equivalance
已浏览 6837 次2013年6月6日
YouTubeJohn Redford
1:17:21
What is a Manifold? Lesson 18: Homotopy
已浏览 1.3万 次2016年9月6日
YouTubeXylyXylyX
10:13
Homotopy group
已浏览 615 次2016年1月22日
YouTubeWikiAudio
13:39
Homotopy definition & example
已浏览 1.5万 次2020年4月8日
YouTubeSkill for Maths
22:12
Homotopy type theory
已浏览 466 次2016年1月22日
YouTubeWikiAudio
33:20
Ham lecture 2
已浏览 7098 次2018年11月11日
YouTubeStudyZoom international
20:54
1.09 Homotopy equivalence
已浏览 4611 次2018年9月12日
YouTubeJonathan Evans
9:31
The Mathematics Behind Homotopy Transformations
已浏览 4110 次2025年3月16日
YouTubeDIBEOS
2:25
#4 Homotopy Type Theory Explained: Universal Quantifiers
已浏览 1752 次6 个月之前
YouTubeHoTT Math
13:31
Homotopy Type Theory Discussed - Computerphile
已浏览 7.2万 次2017年10月13日
YouTubeComputerphile
23:54
Homotopy of paths
已浏览 1201 次2018年11月11日
YouTubeStudyZoom international
1:23:32
Mike Shulman: Towards Third-Generation HOTT, Part 1
已浏览 3395 次2022年4月28日
YouTubeCarnegie Mellon University Department of Philo…
4:34
#14 Homotopy Type Theory Explained: Inductors
已浏览 628 次4 个月之前
YouTubeHoTT Math
观看更多视频
静态缩略图占位符