From a Geometrical Point of View

From a Geometrical Point of View explores historical and philosophical aspects of category theory and categorical logic, providing insight into their role and nature in contemporary mathematics.

Provides a conceptual introduction to the fundamental concepts of category theory and categorical logic Gives a unique perspective on the nature of category theory and its role in mathematics and its foundations Gives insights into the historical development of the field The only book weaving together historical, mathematical and philosophical considerations

Autorentext

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.

Inhalt
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.