000 01159cam a22003258i 4500
001 20791760
003 OSt
005 20241209170352.0
008 181227s2019 enk b 001 0 eng
010 _a 2018058456
020 _a9781108711821 (Pbk)
040 _aDLC
_beng
_erda
_cIISERB
042 _apcc
050 0 0 _aQA9.25
_b.F66 2019
082 0 0 _a512.62 F732I
_223
100 1 _aFong, Brendan.
_930844
245 1 3 _aAn invitation to applied category theory :
_bseven sketches in compositionality
_cBrendan Fong (Massachusetts Institute of Technology), David I. Spivak (Massachusetts Institute of Technology).
260 _aCambridge:
_bCambridge University Press,
_c2021.
263 _a1905
300 _axii, 338p.
504 _aIncludes bibliographical references and index.
650 0 _aCategories (Mathematics)
_930845
650 0 _aComputable functions.
_930846
650 0 _aLogic, Symbolic and mathematical.
_930847
650 0 _aMathematical analysis.
_930848
700 1 _aSpivak, David I.
_930849
906 _a7
_bcbc
_corignew
_d1
_eecip
_f20
_gy-gencatlg
942 _2ddc
_cBK
999 _c10444
_d10444