Mathlib Map

Map · 55

algebraic topology

MSC 55 · Algebraic topology

4,904 declarations (3,471 theorems, 1,433 definitions) across 125 files. 0 of the 14 famous theorems listed for this area are in Mathlib (0%), 1 in some Lean library.

Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.

Subareas5

  • 55U Applied homological algebra and category theory in algebraic topology 2,410
  • 55R Fiber spaces and bundles in algebraic topology 1,193
  • 55P Homotopy theory 879
  • 55Q Homotopy groups 229
  • 55N Homology and cohomology theories in algebraic topology 193

Famous theorems0 of 14

From the 1000+ theorems project, which classifies each theorem by MSC area.

Not yet in Mathlib · 14

Structures defined here24

Typeclasses defined in this area's files, most assumed first.

Files125

Largest first. The code after each file is its assigned subarea.