Tool and object : a history and philosophy of category theory
The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory was an important conceptual tool in 20th century mathematics whose influence on some mathematical subdisciplines (above all algebraic topology and algebraic geometry) is ana...
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Tool and object : a history and philosophy of category theory / Ralf Krömer |
Édition : | 1st ed. 2007. |
Publié : |
Basel :
Birkhäuser Basel
, [20..] Cham : Springer Nature |
Collection : | Science networks (Online) ; 32 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
Contenu : | Prelude: Poincaré, Wittgenstein, Peirce, and the use of concepts. Category theory in Algebraic Topology. Category theory in Homological Algebra. Category theory in Algebraic Geometry. From tool to object: full-fledged category theory. Categories as sets: problems and solutions. Categorial foundations. Pragmatism and category theory |
Sujets : | |
Documents associés : | Autre format:
Tool and object Autre format: Tool and Object Autre format: Tool and object |
LEADER | 05570clm a2200793 4500 | ||
---|---|---|---|
001 | PPN153800836 | ||
003 | http://www.sudoc.fr/153800836 | ||
005 | 20241001154900.0 | ||
010 | |a 3-7643-7524-8 | ||
010 | |a 978-3-7643-7524-9 |b en ligne | ||
017 | 7 | 0 | |a 10.1007/978-3-7643-7524-9 |2 DOI |
035 | |a (OCoLC)800448171 | ||
035 | |z ocm174132323 | ||
035 | |a ocm85242858 | ||
035 | |a Springer978-3-7643-7524-9 | ||
035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-7643-7524-9 | ||
035 | |a Springer-11649-978-3-7643-7524-9 | ||
100 | |a 20110720f20 k y0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a CH | ||
105 | |a y a 001yy | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Tool and object |e a history and philosophy of category theory |f Ralf Krömer | |
205 | |a 1st ed. 2007. | ||
214 | 0 | |a Basel |c Birkhäuser Basel | |
214 | 2 | |a Cham |c Springer Nature |d [20..] | |
225 | 0 | |a Science Networks |i Historical Studies |x 2296-6080 |v 32 | |
303 | |a L'impression du document génère xxxvi, 367 p. | ||
320 | |a Bibliogr. Index | ||
327 | 1 | |a Prelude: Poincaré, Wittgenstein, Peirce, and the use of concepts |a Category theory in Algebraic Topology |a Category theory in Homological Algebra |a Category theory in Algebraic Geometry |a From tool to object: full-fledged category theory |a Categories as sets: problems and solutions |a Categorial foundations |a Pragmatism and category theory | |
330 | |a The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory was an important conceptual tool in 20th century mathematics whose influence on some mathematical subdisciplines (above all algebraic topology and algebraic geometry) is analyzed. Category theory also has an important philosophical aspect: on the one hand its set-theoretical foundation is less obvious than for other mathematical theories, and on the other hand it unifies conceptually a large part of modern mathematics and may therefore be considered as somewhat fundamental itself. The role of this philosophical aspect in the historical development is the second focus of the book. Relying on the historical analysis, the author develops a philosophical interpretation of the theory of his own, intending to get closer to how mathematicians conceive the significance of their activity than traditional schools of philosophy of science. The book is the first monography exclusively devoted to the history of category theory. To a substantial extent it considers aspects never studied before. The author uses (and justifies the use of) a methodology combining historical and philosophical approaches. The analysis is not confined to general remarks, but goes into considerable mathematical detail. Hence, the book provides an exceptionally thorough case study compared with other works on history or philosophy of mathematics. The philosophical position developed here (inspired by Peircean pragmatism and Wittgenstein) is an interesting alternative to traditional approaches in philosophy of mathematics like platonism, formalism and intuitionism | ||
371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
410 | | | |0 17429445X |t Science networks (Online) |x 2296-6080 |v 32 | |
452 | | | |0 11530181X |t Tool and object |o a history and philosophy of category theory |f Ralf Krömer |d 2007 |c Basel |n Birkhäuser |p 1 vol. (XXXVI-367 p.) |s Science networks |y 978-3-7643-7523-2 | |
452 | | | |t Tool and Object |b Texte imprimé |y 9783764391102 | |
452 | | | |0 11530181X |t Tool and object |o a history and philosophy of category theory |f Ralf Krömer |d 2007 |c Basel |n Birkhäuser |p 1 vol. (XXXVI-367 p.) |s Science networks |y 978-3-7643-7523-2 | |
606 | |3 PPN027339521 |a Catégories (mathématiques) |3 PPN02726470X |x Histoire |2 rameau | ||
606 | |3 PPN027339521 |a Catégories (mathématiques) |3 PPN027295206 |x Philosophie |2 rameau | ||
610 | 2 | |a History of Mathematics | |
610 | 1 | |a Mathematics | |
610 | 2 | |a Category Theory, Homological Algebra | |
610 | 2 | |a History of Mathematical Sciences | |
615 | |a @Humanities, Social Sciences and Law |n 11648 |2 Springer | ||
615 | |a @Mathematics and Statistics |n 11649 |2 Springer | ||
676 | |a 512/.62 |v 22 | ||
680 | |a QA169 |b .K76 2007 | ||
686 | |a 18-03 |c 2010 |2 msc | ||
686 | |a 00A30 |c 2010 |2 msc | ||
686 | |a 01A60 |c 2010 |2 msc | ||
700 | 1 | |3 PPN081118848 |a Krömer |b Ralf |f 1972-.... |4 070 | |
801 | 1 | |a US |b OCLC |g AACR2 | |
801 | 2 | |a FR |b AUROC |g AFNOR | |
801 | 3 | |a FR |b Abes |c 20231012 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20211020 |g AACR2 | |
856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-7643-7524-9 |z Accès sur la plateforme de l'éditeur | |
856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-7JN9V4MB-2 |z Accès sur la plateforme Istex | |
856 | 4 | |5 441099901:830846689 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-7643-7524-9 | |
915 | |5 441099901:830846689 |b SPRING18-00268 | ||
930 | |5 441099901:830846689 |b 441099901 |j g | ||
991 | |5 441099901:830846689 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:00 | ||
997 | |a NUM |b SPRING18-00268 |d NUMpivo |e EM |s d | ||
998 | |a 977901 |