Mario Román

Home

❯

notes

❯

pieces

❯

Message theory

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