000 02535cam a2200241 i 4500
001 136278
003 ISI Library, Kolkata
005 20151103153942.0
008 140414t20142014maua b 001 0 eng
020 _a9780262028134 (hardcover : alk. paper)
040 _aISI Library
082 0 4 _a512.62
_223
_bSp761
100 1 _aSpivak, David I.
245 1 0 _aCategory theory for the sciences /
_cDavid I. Spivak.
260 _aCambridge :
_bMIT Press,
_cc2014.
300 _aviii, 486 p. :
_billustrations (some color) ;
_c24 cm.
504 _aIncludes bibliographical references (pages 475-478) and index.
505 0 _a1. Introduction-- 2. The category of sets-- 3. Fundamental considerations in set-- 4. Categories and functors, without admitting it-- 5. Basic category theory-- 6. Fundamental considerations of categories-- 7. Categories at work-- References-- Index.
520 _aThis book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently dynamic; the same ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians. Using databases as an entry to category theory, it begins with sets and functions, then introduces the reader to notions that are fundamental in mathematics: monoids, groups, orders, and graphs -- categories in disguise. After explaining the big three concepts of category theory -- categories, functors, and natural transformations -- the book covers other topics, including limits, colimits, functor categories, sheaves, monads, and operads. The book explains category theory by examples and exercises rather than focusing on theorems and proofs. It includes more than 300 exercises, with selected solutions. Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics.
650 0 _aScience
_xMathematical models.
650 0 _aCategories (Mathematics)
942 _2ddc
_cBK
999 _c419530
_d419530