New instanton homology theories for 3-manifolds and bundles.
problem Defining instanton homology for a class of 3-manifolds and bundles.
method Functorial construction for 4-manifold cobordisms, algebraic construction of homology theories for dg-modules.
result Isomorphic to Floer's instanton homology for admissible bundles, calculates in all cases it is defined.