You are about to access our book library "Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday (Lecture Notes in Computer Science Book 8222) full version" .