Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 3

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 3

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 1See more

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 1

Hoang Kim Nguyen, Directed univalence in simplicial setsSee more

Hoang Kim Nguyen, Directed univalence in simplicial sets

Denis-Charles Cisinski, Univalence of the universal coCartesian fibrationSee more

Denis-Charles Cisinski, Univalence of the universal coCartesian fibration

Mike Shulman: Towards Third-Generation HOTT, Part 3See more

Mike Shulman: Towards Third-Generation HOTT, Part 3

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 2See more

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 2

Amélia Liao, Univalent Category TheorySee more

Amélia Liao, Univalent Category Theory

Tetrahedral hyperbolic 3-manifolds and links by Andrei VesninSee more

Tetrahedral hyperbolic 3-manifolds and links by Andrei Vesnin

Weyl groups, and their generalizations, in enumerative geometry III - OkounkovSee more

Weyl groups, and their generalizations, in enumerative geometry III - Okounkov

Three for One: Homotopy Interpretation [Intro to HoTT, No. 1, Part 2]See more

Three for One: Homotopy Interpretation [Intro to HoTT, No. 1, Part 2]

Production Externalities: Example #3See more

Production Externalities: Example #3

Tengren Zhang - 3/3 Anosov RepresentationsSee more

Tengren Zhang - 3/3 Anosov Representations

News