Linearization of graphic toposes via Coxeter groups (Q5960415)

By a linearization of a topos \({\mathcal E}\), the author means the abelian category \(K{\mathcal E}\) of \(K\)-modules in \({\mathcal E}\), where \(K\) is a suitable commutative ring. This paper studies the linearization of finite toposes. The main result is the following theorem: Suppose \(3=0\) in \(K\) and \({\mathcal E}\) is the topos of right \(M\)-sets for a graphic monoid \(M\). Then \(K{\mathcal E}\) is an abelian subcategory of \(K\overline {\mathcal E}\), where \(\overline {\mathcal E}\) is the Boolean topos of \(G\)-sets for a crystallographic Coxeter group \(G\), wherein a product of two generating involutions has order 3 if and only if they determine the same corresponding principal levels in the topos.