Categories and Types in Logic, Language, and Physics - Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (Springer Berlin Heidelberg, 2014)