000 | a | ||
---|---|---|---|
999 |
_c31078 _d31078 |
||
008 | 221104b xxu||||| |||| 00| 0 eng d | ||
020 | _a9781107360068 | ||
082 |
_a512.62 _bLEI |
||
100 | _aLeinster, Tom | ||
245 | _aBasic category theory | ||
260 |
_bCambridge University Press, _c2014 _aCambridge : |
||
300 |
_aviii, 183 p. ; _bill _c24 cm |
||
365 |
_b46.99 _cGBP _d95.20 |
||
490 |
_aCambridge studies in advanced mathematics _vv. 143 |
||
504 | _aIncludes bibliographical references and index. | ||
520 | _aAt the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. | ||
650 | _aMathematics | ||
650 | _aAdjoint functor theorems | ||
650 | _a Cartesian closed category | ||
650 | _aComma category | ||
650 | _aCantor-Berstein theorem | ||
650 | _a Duality | ||
650 | _aEquivalence relation | ||
650 | _aForgetful functor | ||
650 | _aHolomorphic function | ||
650 | _aIsomorphism | ||
650 | _aLeast element | ||
650 | _aMonoid | ||
650 | _a Natural transformation | ||
650 | _a Ordered set | ||
650 | _aPreosheaf | ||
650 | _a Topological space | ||
650 | _aYoneda lemma | ||
942 |
_2ddc _cBK |