The Structure of Concurrent Process Histories (Nester, 2020)

Last updated Feb 3, 2024

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