xuan-gottfried YANG
3.5K subscribers
topology(with priority stable homotopy theory) and its interface with Arithmetic geometry univalent homotopy type theory categorical logic mathematical linguistics theoretical computer science
About the Course
xuan-gottfried YANG · 266 views · 2 years ago
Categories and Analogies
xuan-gottfried YANG · 137 views · 9 years ago
Lumsdaine :Quillen model structure in type theory
xuan-gottfried YANG · 59 views · 9 years ago
Moduli Problems in Symplectic Geometry
xuan-gottfried YANG · 37 views · 9 years ago
Homotopy theory and arithmetic geometry 2
xuan-gottfried YANG · 909 views · 9 years ago
1 3 Algebraic elements
xuan-gottfried YANG · 61 views · 8 years ago
Applied algebraic topology I
xuan-gottfried YANG · 1.5K views · 8 years ago
1 2 Algebraic elements
xuan-gottfried YANG · 39 views · 8 years ago
Aspects of duality in 2-categories
xuan-gottfried YANG · 13 views · 9 years ago
On relating strong type theories and set theories
xuan-gottfried YANG · 11 views · 9 years ago
1 4 Finite extensions
xuan-gottfried YANG · 18 views · 8 years ago
Models for Homotopical Higher Categories
xuan-gottfried YANG · 557 views · 9 years ago
Motivic Euler number and an arithmetic count of lines on a cubic surface Kirsten Wickelgren
xuan-gottfried YANG · 585 views · 6 years ago
High Categories and Topology | Les catégories: une logique de l’apparaitre? (en Anglais)
xuan-gottfried YANG · 106 views · 9 years ago
Model-theoretic imaginaries and localisation for additive categories
xuan-gottfried YANG · 20 views · 9 years ago
From ordinary cohomology to motivic cohomology of real varieties 1
xuan-gottfried YANG · 139 views · 9 years ago
Lecture 1 | Geometric representation theory
xuan-gottfried YANG · 533 views · 9 years ago
Network Theory: Overview
xuan-gottfried YANG · 5 views · 9 years ago
Modular forms
xuan-gottfried YANG · 1.2K views · 8 years ago
Bruguieres at Modular Categories Their Representations, Classification, and Applications mp4
xuan-gottfried YANG · 26 views · 9 years ago