Definition 7.1.
A ringed topos is a pair \((T,\Oo)\) where \(T\) is a topos and \(\Oo\) is a commutative ring object of \(T\) whose underlying object is \(0\)-truncated. In other words, \(\Oo\) is a sheaf of static commutative rings on \(T\).
Definition 7.1.
A ringed topos is a pair \((T,\Oo)\) where \(T\) is a topos and \(\Oo\) is a commutative ring object of \(T\) whose underlying object is \(0\)-truncated. In other words, \(\Oo\) is a sheaf of static commutative rings on \(T\).