000 00747nam a22002297a 4500
003 IIITD
005 20260212110301.0
008 260131b |||||||| |||| 00| 0 eng d
020 _a9781108708449
040 _aIIITD
082 _a511.3
_bCHE-J
100 _aCheng, Eugenia
245 _aThe joy of abstraction :
_ban exploration of math, category theory, and life
_cby Eugenia Cheng
260 _aNew York :
_bCambridge University Press,
_c©2023
300 _axiv, 424 p. :
_bill. ;
_c23 cm.
504 _aIncludes bibliographical references and index.
505 _tPart 1. Building up to categories
505 _tPart 2. Doing category theory
650 _aTraditional mathematics
650 _aMathematical Logic
942 _cBK
_2ddc
999 _c209729
_d209729