Supertannakian semisimplicity paper

This directory contains the internally audited preprint answering Coulembier–Sherman Question 5.16 affirmatively over algebraically closed fields of characteristic zero.

Files

• main.tex: self-contained LaTeX source.
• supertannakian-semisimplicity.pdf: compiled eight-page paper.
• render-html.mjs: deterministic converter used for the online reading edition, including links to the cited primary sources.

The theorem has no external specialist review. The paper’s bounded search for earlier work is not a claim of priority.

Rebuild

Run XeLaTeX twice on main.tex to rebuild the PDF. Run node render-html.mjs from the site repository to regenerate the online edition.