# Category:Homology theory

Computing portal |

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

In mathematics, homology theory is the axiomatic study of the intuitive geometric idea of homology of cycles on topological spaces. It can be broadly defined as the study of homology theories on topological spaces.

## Pages in category "Homology theory"

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

- Homology (mathematics)
*(computing)*

### A

- Acyclic space
*(computing)* - Aspherical space
*(computing)*

### B

- Borel–Moore homology
*(computing)* - Bump and hole
*(computing)*

### C

- Cap product
*(computing)* - Cellular homology
*(computing)* - Chern–Simons form
*(computing)* - Cohomology ring
*(computing)* - Compactly-supported homology
*(computing)* - Continuation map
*(computing)* - Cup product
*(computing)* - Cyclic category
*(computing)*

### E

- Eilenberg–Moore spectral sequence
*(computing)* - Eilenberg–Steenrod axioms
*(computing)* - Excision theorem
*(computing)*

### F

- Floer homology
*(computing)*

### G

- Good cover (algebraic topology)
*(computing)* - Gromov norm
*(computing)*

### H

- Hodge conjecture
*(computing)* - Homology sphere
*(computing)*

### K

- K-homology
*(computing)* - Kan-Thurston theorem
*(computing)* - Khovanov homology
*(computing)* - Kirby–Siebenmann class
*(computing)*

### M

- Mayer–Vietoris sequence
*(computing)* - Morse homology
*(computing)*

### P

- Persistent homology
*(computing)* - Poincaré duality
*(computing)* - Poincaré complex
*(computing)* - Polar homology
*(computing)* - Pontryagin product
*(computing)* - Products in algebraic topology
*(computing)* - Pushforward (homology)
*(computing)*

### R

- Reduced homology
*(computing)* - Relative contact homology
*(computing)* - Relative homology
*(computing)*

### S

- Singular homology
*(computing)* - Steenrod homology
*(computing)* - Steenrod problem
*(computing)* - Stratifold
*(computing)*

### T

- Topological data analysis
*(computing)*