Axiomatic Method and Category Theory
-15%
portes grátis
Axiomatic Method and Category Theory
Rodin, Andrei
Springer International Publishing AG
08/2016
285
Mole
Inglês
9783319375519
15 a 20 dias
4569
Descrição não disponível.
Introduction.- Part I A Brief History of the Axiomatic Method.- Chapter 1. Euclid: Doing and Showing.- Chapter 2. Hilbert: Making It Formal.- Chapter 3. Formal Axiomatic Method and the 20th Century Mathematics.- Chapter. 4 Lawvere: Pursuit of Objectivity.- Conclusion of Part 1.- Part II. Identity and Categorification.- Chapter 5. Identity in Classical and Constructive Mathematics.- Chapter 6. Identity Through Change, Category Theory and Homotopy Theory.- Conclusion of Part 2.- Part III. Subjective Intuitions and Objective Structures.- Chapter 7. How Mathematical Concepts Get Their Bodies. Chapter 8. Categories versus Structures.- Chapter 9. New Axiomatic Method (instead of conclusion).- Bibliography.?
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Categorical logic;David Hilbert;Homotopy Type theory;Mathematical Structuralism;Topos theory;Univalent Foundations of Mathematics;Vladimir Voevodsky;William Lawvere
Introduction.- Part I A Brief History of the Axiomatic Method.- Chapter 1. Euclid: Doing and Showing.- Chapter 2. Hilbert: Making It Formal.- Chapter 3. Formal Axiomatic Method and the 20th Century Mathematics.- Chapter. 4 Lawvere: Pursuit of Objectivity.- Conclusion of Part 1.- Part II. Identity and Categorification.- Chapter 5. Identity in Classical and Constructive Mathematics.- Chapter 6. Identity Through Change, Category Theory and Homotopy Theory.- Conclusion of Part 2.- Part III. Subjective Intuitions and Objective Structures.- Chapter 7. How Mathematical Concepts Get Their Bodies. Chapter 8. Categories versus Structures.- Chapter 9. New Axiomatic Method (instead of conclusion).- Bibliography.?
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
