compositional algebraLast updated Apr 23, 2024Cartesian multicategoryLambek pregroupCompositionalityMonoidal Context Theory, PhD Thesis