Ulrik Buchholtz, From higher groups to homotopy surfaces

Ulrik Buchholtz, From higher groups to homotopy surfaces

Ulrik Buchholz: Higher Algebra in Homotopy Type TheorySee more

Ulrik Buchholz: Higher Algebra in Homotopy Type Theory

​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)See more

​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)

Higher Homotopy Groups A brief DiscussionSee more

Higher Homotopy Groups A brief Discussion

Thomas Nikolaus : Equivariant homotopy theory for infinite groups and THH with coefficientsSee more

Thomas Nikolaus : Equivariant homotopy theory for infinite groups and THH with coefficients

Ulrik Buchholtz, (Co)cartesian families in simplicial type theorySee more

Ulrik Buchholtz, (Co)cartesian families in simplicial type theory

Algebraic Topology 1: Homotopy EquivalenceSee more

Algebraic Topology 1: Homotopy Equivalence

Functors in TopologySee more

Functors in Topology

What are...homotopy groups?See more

What are...homotopy groups?

Higher Category Theory For Beginners With Homotopy ioSee more

Higher Category Theory For Beginners With Homotopy io

Andrew J. Blumberg: "Abstract homotopy theory for topological data analysis"See more

Andrew J. Blumberg: 'Abstract homotopy theory for topological data analysis'

Krystyna Kuperberg (7/22/22): Shape Theory: Vietoris-Cech approach to homotopySee more

Krystyna Kuperberg (7/22/22): Shape Theory: Vietoris-Cech approach to homotopy

News