|
|
|
|
| LEADER |
03365nam a22005295i 4500 |
| 001 |
5215 |
| 003 |
DE-He213 |
| 005 |
20130725190343.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2009 ne | s |||| 0|eng d |
| 020 |
# |
# |
|a 9781402093845
|9 978-1-4020-9384-5
|
| 024 |
7 |
# |
|a 10.1007/978-1-4020-9384-5
|2 doi
|
| 050 |
# |
4 |
|a B67
|
| 072 |
# |
7 |
|a PDA
|2 bicssc
|
| 072 |
# |
7 |
|a SCI075000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 501
|2 23
|
| 100 |
1 |
# |
|a Marquis, Jean-Pierre.
|e author.
|
| 245 |
1 |
0 |
|a From a Geometrical Point of View
|b A Study of the History and Philosophy of Category Theory /
|c by Jean-Pierre Marquis.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Dordrecht :
|b Springer Netherlands,
|c 2009.
|
| 300 |
# |
# |
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Logic, Epistemology, and the Unity of Science ;
|v 14
|
| 505 |
0 |
# |
|a Introduction -- 1. Category theory and Klein s Erlangen Program -- 2. Introducing categories, functors and natural transformations -- 3. Categories as spaces, functors as transformations -- 4. Discovering fundamental categorical transformations: adjoint functors -- 5. Adjoint functors: what they are, what they mean -- 6. Invariants in foundations: Algebraic logic -- 7. Invariants in foundations: Geometric logic -- Conclusion -- References -- Index.
|
| 520 |
# |
# |
|a From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane s work in the early 1940 s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics. From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists.
|
| 650 |
# |
0 |
|a Philosophy (General).
|
| 650 |
# |
0 |
|a Science
|x Philosophy.
|
| 650 |
# |
0 |
|a Algebra.
|
| 650 |
# |
0 |
|a Mathematics_$xHistory.
|
| 650 |
# |
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
# |
0 |
|a Algebraic topology.
|
| 650 |
1 |
4 |
|a Philosophy.
|
| 650 |
2 |
4 |
|a Philosophy of Science.
|
| 650 |
2 |
4 |
|a Category Theory, Homological Algebra.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Foundations.
|
| 650 |
2 |
4 |
|a History of Mathematics.
|
| 650 |
2 |
4 |
|a Algebraic Topology.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9781402093838
|
| 830 |
# |
0 |
|a Logic, Epistemology, and the Unity of Science ;
|v 14
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4020-9384-5
|
| 912 |
# |
# |
|a ZDB-2-SHU
|
| 950 |
# |
# |
|a Humanities, Social Sciences and Law (Springer-11648)
|