Chapter 02 - Neurons and Glia - Lippincott Williams & Wilkins

Since category theory, or more precisely since the theory of the category of categories, is first-order, it cannot, either as a language or foundation, capture the “central dogma of the axiomatic method: that isomorphic structures are mathematically indistinguishable in their essential properties”. ................
................