algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...

and

category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

, factorization homology is a variant of

topological chiral homology In mathematics, chiral homology, introduced by Alexander Beilinson and Vladimir Drinfeld, is, in their words, "a “quantum” version of (the algebra of functions on) the space of global horizontal sections of an affine \mathcal_X-scheme (i.e., t ...

, motivated by an application to

topological quantum field theory In gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathem ...

and

cobordism hypothesis In mathematics, the cobordism hypothesis, due to John C. Baez and James Dolan, concerns the classification of extended topological quantum field theories (TQFTs). In 2008, Jacob Lurie outlined a proof of the cobordism hypothesis, though the detail ...

in particular. It was introduced by David Ayala, John Francis, and Nick Rozenblyum.

References

External links

* Homological algebra {{topology-stub