TY - RPRT TI - How to build a Hopf algebra AU - Theo Johnson-Freyd AU - David Reutter PY - 2025 UR - https://arxiv.org/abs/2508.16787 ID - 2508.16787 ER -