 A ringed topos is a pair "(X,R)", where "X" is a topos and "R" is a commutative ring object in "X".Most of the constructions of ringed spaces go through for ringed topoi.The category of "R"-module objects in "X" is an abelian category with enough injectives.