Orbifold Hamiltonian Floer theory for global quotients

We construct bulk-deformed orbifold Hamiltonian Floer theory for a global quotient orbifold, that is the quotient of a smooth closed symplectic manifold by a finite group acting faithfully via symplectomorphisms. The moduli spaces define an `ordered marked Flow category', which we equip with a coherent presentation via derived orbifolds. The global charts for orbifold Floer cylinders are built from moduli spaces of holomorphic curves in a quotient of projective space by a free action of the given finite group.