Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Axiomatic method and category theory /



xi, 285 p. : illustrations ; 24 cm. - (Synthese library ; v 364.) Content notes : 1. Introduction.-
Part I A Brief History of the Axiomatic Method.-
2. Euclid: Doing and Showing.-
3. Hilbert: Making It Formal.-
4. Formal Axiomatic Method and the 20th Century Mathematics.-
5 Lawvere: Pursuit of Objectivity.-

Part II. Identity and Categorification.-
6. Identity in Classical and Constructive Mathematics.-
7. Identity Through Change, Category Theory and Homotopy Theory.-

Part III. Subjective Intuitions and Objective Structures.-
8. How Mathematical Concepts Get Their Bodies.
9. Categories versus Structures.-
10. New Axiomatic Method (instead of conclusion).- Bibliography.-
Index. Categories (Mathematics) Philosophy.

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in