なぜか直接ブックマークできないので、リンクを載せて間接にブックマークする。 https://zenodo.org/record/7252246#.Y5_6YnbP1D8

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