The Structure of Concurrent Process Histories (Nester, 2020)

Last updated Sep 8, 2023

• Cornering Optics (Boisseau, Nester, Román, 2022)
• Polarized monoidal category
• Subtle non-implication in cornerings
• Why proarrows are not the algebra of messages