Category Theory and Klein’s Erlangen Program.- Introducing Categories, Functors and Natural Transformations.- Categories as Spaces, Functors as Transformations.- Discovering Fundamental Categorical Transformations: Adjoint Functors.- Adjoint Functors: What They are, What They Mean.- Invariants in Foundations: Algebraic Logic.- Invariants in Foundations: Geometric Logic.- Conclusion.
Jean-Pierre Marquis teaches logic, epistemology and philosophy of science at the Université de Montréal. He has published papers on category theory, categorical logic, general philosophy of mathematics and philosophy of science.
From the reviews: "The main and basic point is that category theory is thoroughly geometric. ... The monograph is highly readable, and it should be valuable to every expert in category theory, every novice in category theory and every mathematician who is not interested at all in category theory." (Hirokazu Nishimura, Zentralblatt MATH, Vol. 1165, 2009)
|
Ask a Question About this Product More... |
|
