Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names Sam Staton https://www.sciencedirect.com/science/article/pii/S1571066109003259