Homology is a general way of associating a sequence of algebraic objects such as abelian groups or modules to other mathematical objects such as topological spaces.

Homology is a concept that is used in many branches of algebra and topology. Historically, the term "homology" was first used in a topological sense by Poincaré. To him, it meant pretty much what is now called a bordism, meaning that a homology was thought of as a relation between manifolds mapped into a manifold. Such manifolds form a homology when they form the boundary of a higher-dimensional manifold inside the manifold in question.

See also: