sessions are combsLast updated Nov 12, 2024monoidal opticsmessage theoryMonoidal Context Theory, PhD Thesis (Roman, 2023)