The Structure of Concurrent Process Histories (Nester, 2020)Last updated Sep 8, 2023Cornering Optics (Boisseau, Nester, Román, 2022)Polarized monoidal categorySubtle non-implication in corneringsWhy proarrows are not the algebra of messages