V
主页
【范畴论基础】【OPLSS】Category Theory Foundations by Steve Awodey
发布人
https://www.youtube.com/playlist?list=PL8Ky8lYL8-Oh7awp0sqa82o7Ggt4AGhyf Given by Steve Awodey at Oregon Programming Languages Summer School 2012.
打开封面
下载高清视频
观看高清视频
视频下载器
【证明论基础】【OPLSS】Proof Theory Foundations by Frank Pfenning
【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
【导出范畴与模空间】【ICTP】Derived categories and moduli spaces by A. Kuznetzov
【同伦范畴简介】【CIMAT】An introduction to homotopical categories by Julie Bergner
【量子场论/QFT】【Hannover】Quantum field theory by Tobias Osborne
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
【遍历理论】【ICTP】Ergodic Theory by Stefano Luzzatto
【局部类域论】【IMSc】Local Class Field Theory by Denis Benois
【从现代分析到数论】【SPBU】Travel on modern analysis and number theory by Harald Helfgott
【随机矩阵:理论与实践】【ICTP】Random Matrices: Theory and Practice by Pierpaolo Vivo
【量子力学与谱理论】【FAU】Lectures on Quantum Theory by Fredric Schuller
【Fukaya范畴与镜像对称】【Columbia】Fukaya categories and mirror symmetry by Denis Auroux
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
【共形场论/CFT】【Hannover】Introduction to conformal field theory
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
【拓扑斯/topos】【IHES】A Crash Course in Topos Theory: The Big Picture by André JOYAL
【黎曼曲面导论[中文]】【NTU】Introduction to Riemann Surfaces by Chen-Yu Chi [齐震宇]
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
【物理学家的群论】【IPhT】Group Theory in a Nutshell for Physicists by Anthony Zee[徐一鸿]
【范畴化】【QGM】Categorification by Volodymyr Mazorchuk
【弦论与全息对偶】【MIT】String Theory and Holographic Duality by Hong Liu
【范畴化,表示论与辛几何】【HIM】Introductory school at HIM/HCM, Bonn
【同伦类型论/HoTT】【CMU】Homotopy Type Theory by Robert Harper
【黑洞的数学理论】【IHES】On the Mathematical Theory of Black Holes by Sergiu Klainerman
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
【概率数论】【IMSc】Probabilistic Number Theory by Jean-Marc Deshouillers
【李群李代数,表示论与对称空间】【IMPA】Lie Groups, Representation Theory and Symmetric Spaces
【导出范畴的稳定性条件与几何应用】【ICTP】Stability con. on derived categories and app. by A. Bay
【代数拓扑[中文]】【NTU】Algebraic Topology by Chen-Yu Chi [齐震宇]
【逻辑关系】【OPLSS】Logical Relations by Amal Ahmed
【几何不变理论与模空间】【CIMAT】Geometric Invariant Theory & Moduli by Radu Laza
【点集拓朴简介[中文]】【NTU】General Topology by Chen-Yu Chi [齐震宇]
【解析数论导引】【IMSc】Introduction to Analytic Number Theory by Ram Murty
【编程语言背景】【OPLSS】Lectures by Robert Harper & Dan Licata
【实分析】【ICTP】Real Analysis by Eva Sincich
【自避随机行走模型】【IHES】The Self-Avoiding Walk Model by Hugo Duminil-Copin
【混沌,分形与动力系统】【Vermont】Chaos, Fractals, & Dynamical Systems by Chris Danforth
【代数几何】【ICTP】Algebraic Geometry by Lothar Gottsche
【微分方程与动力系统】【ICTP】DE and Dynamical Systems by Stefano Luzzatto
【拓扑学】【ICTP】Topology by Bruno Zimmermann