Derived orbifold chart lifts of flow categories and bimodules II

It is convenient to formalize the discussion about Hamiltonian Floer theory using the language of flow categories and bimodules. In this lecture I will explain how to use the notion of "derived orbifold chart lift" of flow categories and bimodules and the FOP perturbation scheme to define chain complexes and chain maps over the integers. This lecture is based on joint work with S. Bai (arXiv: 2209.08599).