Expositions - Yunhai Xiang

Showing all posts categorized under @expositions. To go back to all posts, click HERE.

July 2026

Curry–Howard Isomorphism July 25, 2026
Tannakian Category and Tannaka–Krein Duality July 17, 2026

June 2026

Six Functor Formalism June 27, 2026
Aperiodic Tilings June 23, 2026
Riemann–Hilbert Correspondence and Lisse $\ell$-adic Sheaves June 19, 2026
Algebraic de Rham Cohomology and Gauss–Manin Connections June 5, 2026

May 2026

The Disproof of Unit Distance Conjecture May 28, 2026
Hyperelliptic Jacobians and Hasse–Witt Matrix May 15, 2026

April 2026

Brauer Group III April 7, 2026

March 2026

Formalization of a Result of Fibonacci Sequence March 8, 2026
AI for Math March 2, 2026

February 2026

Leray and Serre–Hochschild Spectral Sequences February 2, 2026