Title: Categorical grammar calculus