ScalingStacks

Let ${\mathcal{U}}$ be the differential strict monoidal category generated by an object $e$ and a map $\tau:e^{2}\to e^{2}$ subject to the relations

(4.1.1)

$$d(\tau)=1,\ \tau^{2}=0\text{ and }e\tau\circ\tau e\circ e\tau=\tau e\circ e\tau\circ\tau e.$$