This text provides a comprehensive reference to category theory, containing exercises, for researchers and graduates in philosophy, mathematics, computer science, logic and cognitive science. The basic definitions, theorems, and proofs are made accessible by assumining a few mathematical pre-requisites but without compromising mathematical rigour.
Read More
This text provides a comprehensive reference to category theory, containing exercises, for researchers and graduates in philosophy, mathematics, computer science, logic and cognitive science. The basic definitions, theorems, and proofs are made accessible by assumining a few mathematical pre-requisites but without compromising mathematical rigour.
Read Less