Loading paper
On the unit of a monoidal model category | Tomesphere