These calculi visualize and simplify the axiomatic reasoning within the category to a great extent.
clark, coecke, and Sadrzadeh (2008) and coecke, Sadrzadeh, and clark (2010) show how they depict the pregroup grammatical reductions and visualize the flow of information in composing meanings of single words and forming meanings for sentences.