Rodin, Andrei
Axiomatic Method and Category Theory
1. Introduction
Andrei Rodin
Part I. A Brief History of the Axiomatic Method
2. Euclid: Doing and Showing
Andrei Rodin
3. Hilbert: Making It Formal
Andrei Rodin
4. Formal Axiomatic Method and the Twentieth Century Mathematics
Andrei Rodin
5. Lawvere: Pursuit of Objectivity
Andrei Rodin
Part II. Identity and Categorification
6. Identity in Classical and Constructive Mathematics
Andrei Rodin
7. Identity Through Change, Category Theory and Homotopy Theory
Andrei Rodin
Part III. Subjective Intuitions and Objective Structures
8. How Mathematical Concepts Get Their Bodies
Andrei Rodin
9. Categories Versus Structures
Andrei Rodin
10. New Axiomatic Method (Instead of Conclusion)
Andrei Rodin
Keywords: Philosophy, Epistemology, Category Theory, Homological Algebra, Mathematical Logic and Foundations
- Author(s)
- Rodin, Andrei
- Publisher
- Springer
- Publication year
- 2014
- Language
- en
- Edition
- 2014
- Series
- Synthese Library
- Page amount
- 369 pages
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9783319004044