In mathematics, a topological half-exact functor F is a functor from a fixed topological category (for example CW complexes or pointed spaces) to an abelian category (most frequently in applications, category of abelian groups or category of modules over a fixed ring) that has a following property: for each sequence of the form:
X → Y → C(f)
where C(f) denotes a mapping cone, a sequence:
F(X) → F(Y) → F(C(f))is exact.
Examples include functors of homology.
References
Topological half-exact functor Wikipedia(Text) CC BY-SA