A differential graded approach to derived differential geometry, Part 5