京东 11.11 红包
Higher Category Theory For Beginners With homotopy.io
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
∞-category theory for undergraduates
...
CSCI 8980 Higher-Dimensional Type Theory, 2020 Spring
...
Agda Lecture 8 Quotients and Higher Inductive Types in Cubical Agda -- HoTTEST S
...
Agda Problem Session 8 Quotients and Higher Inductive Types -Max-.mp4
...
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
...
André Joyal --- Homotopy type theory a new bridge between logic, category theory
...
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
...
Raphaël Rouquier - Geometric representation theory as representation-theoretic g
...
Simon Henry- The language of a model category
...
Homotopy type theory working invariantly in homotopy theory -Guillaume Brunerie
...
Geordie Williamson (Univ. of Sydney) _ Representation theory and geometry
...
Agda Problem Session 8 Quotients and Higher Inductive Types -Astra- -- HoTTEST S
...
Thierry Coquand - Computational Interpretation of Topos Theory
...
Favonia- Cartesian cubical type theory
...
Amélia Liao- Univalent Category Theory
...
Simon Huber, Homotopy canonicity for cubical type theory
...
Chromatic homotopy theory - Irina Bobkova
...
Cubical Agda：A Dependently Typed Programming Language with Univalence and Higher
...
Synthetic mathematics with an excursion into computability theory
...
Martin Escardó, Constructive mathematics in univalent type theory
...
On the crossroads of enumerative geometry and representation theory – Andrei Oko
...
Lawrence Paulson Formalising Contemporary Mathematics in Simple Type Theory
...
An introduction to Invariant Theory - Harm Derksen
...
Gerhard Hiss Representation theory for groups of Lie type
...
Computational Type Theory - Robert Harper - OPLSS 2018
...
Jon Sterling- How to code your own type theory
...
Introduction to Deligne-Lusztig Theory
...
Cubical Synthetic Homotopy Theory
...
Algorithmic invariant theory - Visu Makam
...
A gentle introduction to group representation theory -Peter Buergisser
...
Kuen-Bang Hou (Favonia), Towards efficient cubical type theory
...
How to express a theory in Dedukti - Gilles Dowek
...
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra
...
Thierry Coquand: "Sheaf Cohomology in Univalent Type Theory"
...
Type theory and formalization of mathematics - Anders Mörtberg
...
Anders Mörtberg - Unifying Cubical Models of Homotopy Type Theory
...
Modular Forms and Representation Theory - Ken Ono - 2016
...
Representation theory and geometry – Geordie Williamson – ICM2018
...
Jon Sterling：redtt and the future of Cartesian cubical type theory
...
Mitya Boyarchenko Deligne-Lusztig Theory and the Local Langlands Correspondence