Derived symplectic geometry. Part 3