Mario Román

❯

❯

Subtle non implication in cornerings

Subtle non-implication in cornerings

Nov 15, 20251 min read

subtle-non-implication-in-cornerings

Why proarrows are not the algebra of messages
The Structure of Concurrent Process Histories (Nester, 2020)

Graph View

Backlinks

Cornering Optics (Boisseau, Nester, Román, 2022)
Why proarrows are not the algebra of messages

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID