Add obstruction theory for morphisms of ringed spaces and topoi

A bit rough...