Mario Román

❯

❯

❯

Message theory

May 08, 20251 min read

message-structure

axioms of a message theory
polar shuffle
Underlying monoidal of a message structure
motivating message theories
naive message theory

Graph View

Backlinks

Monoidal Context Theory, PhD Thesis (Román, 2023)
Session structure
Subunary shuffling teleological multicategory
Underlying monoidal of a message structure
Why proarrows are not the algebra of messages
Axioms of a message theory
internal language
message passing
motivating message theories
naive message theory
sessions are combs
sessions form a message theory

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID