# Category:Theorems in algebraic topology

Here is a list of articles in the category **Theorems in algebraic topology** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Pages in category "Theorems in algebraic topology"

The following 38 pages are in this category, out of 38 total.

### A

- Acyclic model
*(computing)* - Alexander's theorem
*(computing)* - Landweber exact functor theorem
*(computing)*

### B

- Basic theorems in algebraic K-theory
*(computing)* - Blakers–Massey theorem
*(computing)* - Bloch's formula
*(computing)* - Borel's theorem
*(computing)*

### C

- Cellular approximation theorem
*(computing)*

### D

- De Franchis theorem
*(computing)* - Dold–Thom theorem
*(computing)*

### E

- Eilenberg–Ganea conjecture
*(computing)* - Eilenberg–Ganea theorem
*(computing)* - Eilenberg–Zilber theorem
*(computing)*

### F

- Freudenthal suspension theorem
*(computing)* - Fundamental theorem of algebraic K-theory
*(computing)*

### H

- Hairy ball theorem
*(computing)* - Hattori–Stong theorem
*(computing)* - Hilton's theorem
*(computing)* - Hirzebruch signature theorem
*(computing)*

### K

- Karoubi conjecture
*(computing)* - Künneth theorem
*(computing)*

### L

- Lefschetz fixed-point theorem
*(computing)* - Lefschetz hyperplane theorem
*(computing)* - Leray's theorem
*(computing)* - Leray–Hirsch theorem
*(computing)*

### M

- Markov theorem
*(computing)* - Milnor conjecture
*(computing)*

### N

- Nilpotence theorem
*(computing)* - Norm residue isomorphism theorem
*(computing)*

### P

- Peterson–Stein formula
*(computing)*

### S

- Seifert–van Kampen theorem
*(computing)* - Serre–Swan theorem
*(computing)* - Simplicial approximation theorem
*(computing)* - Snaith's theorem
*(computing)* - Stallings–Zeeman theorem
*(computing)*

### U

- Universal coefficient theorem
*(computing)*

### V

- Vietoris–Begle mapping theorem
*(computing)*

### Z

- Zeeman's comparison theorem
*(computing)*