group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
What is called effective homology is the study of (effective) algorithms for computing invariants in algebraic topology, such as homology groups but also homotopy groups.
Last revised on March 2, 2014 at 03:22:33. See the history of this page for a list of all contributions to it.