sessions are combsLast updated Feb 25, 2024monoidal opticsmessage theoryMonoidal Context Theory, PhD Thesis