Linearization of graphic toposes via Coxeter groups

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Linearization of graphic toposes via Coxeter groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5960415)