LEADER 03611nam a22005895i 4500
001 811547
003 TR_AnAIT
005 20260128003028
007 cr nn 008mamaa
008 100301s2009 ne | s |||| 0|eng d
020 |a9781402093845|9978-1-4020-9384-5
024 7 |a10.1007/978-1-4020-9384-5|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aQ174-175.3
050 4|aB67
072 7|aPDA|2bicssc
072 7|aSCI075000|2bisacsh
072 7|aPDA|2thema
082 04|a501|223
100 1 |aMarquis, Jean-Pierre.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
245 10|aFrom a Geometrical Point of View|h[electronic resource] :|bA Study of the History and Philosophy of Category Theory /|cby Jean-Pierre Marquis.
250 |a1st ed. 2009.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c2009.
300 |aX, 310 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aLogic, Epistemology, and the Unity of Science,|x2214-9783 ;|v14
505 0 |aCategory Theory and Klein’s Erlangen Program -- Introducing Categories, Functors and Natural Transformations -- Categories as Spaces, Functors as Transformations -- Discovering Fundamental Categorical Transformations: Adjoint Functors -- Adjoint Functors: What They are, What They Mean -- Invariants in Foundations: Algebraic Logic -- Invariants in Foundations: Geometric Logic -- Conclusion.
520 |aFrom 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|aScience|xPhilosophy.
650 0|aMathematics.
650 0|aHistory.
650 0|aAlgebra, Homological.
650 0|aMathematical logic.
650 0|aAlgebraic topology.
650 14|aPhilosophy of Science.
650 24|aHistory of Mathematical Sciences.
650 24|aCategory Theory, Homological Algebra.
650 24|aMathematical Logic and Foundations.
650 24|aAlgebraic Topology.
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9781402093838
776 08|iPrinted edition:|z9781402093975
776 08|iPrinted edition:|z9789048181179
830 0|aLogic, Epistemology, and the Unity of Science,|x2214-9783 ;|v14
856 40|uhttps://doi.org/10.1007/978-1-4020-9384-5
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)