Loading paper
Quasi-Galois theory in symmetric-monoidal categories | Tomesphere