sessions are combsLast updated Jul 23, 2024monoidal opticsmessage theoryMonoidal Context Theory, PhD Thesis (Román, 2023)