Homotopy Type Theory
Category — homotopy theory

Overview

The Homotopy Type Theory wiki has 20 pages in this category.

Pages

• circle
• cohomology
• Eilenberg-MacLane space
• Formalized Homotopy Theory
• H-space
• homotopy groups of spheres
• hopf fibration
• James construction
• localization
• loop space
• loop space of a wedge of circles
• pushout
• Seifert-van Kampen theorem
• smash product
• spectral sequence
• suspension
• Synthetic homotopy theory
• type family
• wedge sum
• Whitehead product