科研帝上线啦!115万本专业的英文电子书全部免费下载!

科研帝

 找回密码
 立即注册

手机号码,快捷登录

金币不够用?来这充值VIP学者,无限量下载
查看: 98|回复: 3

Category Theory-[2nd]-[2010]-[pdf]-[Steve Awodey]

[复制链接]
  • TA的每日心情
    开心
    2018-10-7 11:51
  • 签到天数: 68 天

    [LV.6]常住居民II

    23

    主题

    112

    帖子

    228

    积分

    管理员

    Rank: 9Rank: 9Rank: 9

    金币
    1468
    关注领域
    物理学
    QQ
    发表于 2017-11-15 17:20:00 | 显示全部楼层 |阅读模式
    提示:本书回复后可见下载链接(点击链接后等待30秒内会自动启动下载),普通用户回复扣5金币,VIP用户免费下载。还不是VIP?点击这里加入VIP→


    免费下载30页预览文件

    书籍信息:
    标题: Category Theory
    语言: English
    格式: pdf
    大小: 1.1M
    页数: 328
    年份: 2010
    作者: Steve Awodey
    版次: 2nd
    系列: Oxford Logic Guides 52
    出版社: Oxford University Press

    简介

    Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership. Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists!This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.


    目录
    Contents......Page 14
    Preface to the second edition......Page 8
    Preface......Page 10
    1.1 Introduction......Page 18
    1.2 Functions of sets......Page 20
    1.3 Definition of a category......Page 21
    1.4 Examples of categories......Page 22
    1.5 Isomorphisms......Page 29
    1.6 Constructions on categories......Page 31
    1.7 Free categories......Page 35
    1.8 Foundations: large, small, and locally small......Page 40
    1.9 Exercises......Page 42
    2.1 Epis and monos......Page 46
    2.2 Initial and terminal objects......Page 50
    2.3 Generalized elements......Page 52
    2.4 Products......Page 55
    2.5 Examples of products......Page 58
    2.6 Categories with products......Page 63
    2.7 Hom-sets......Page 65
    2.8 Exercises......Page 67
    3.1 The duality principle......Page 70
    3.2 Coproducts......Page 72
    3.3 Equalizers......Page 79
    3.4 Coequalizers......Page 82
    3.5 Exercises......Page 88
    4.1 Groups in a category......Page 92
    4.2 The category of groups......Page 97
    4.3 Groups as categories......Page 100
    4.4 Finitely presented categories......Page 102
    4.5 Exercises......Page 104
    5.1 Subobjects......Page 106
    5.2 Pullbacks......Page 108
    5.3 Properties of pullbacks......Page 112
    5.4 Limits......Page 117
    5.5 Preservation of limits......Page 122
    5.6 Colimits......Page 125
    5.7 Exercises......Page 131
    6.1 Exponential in a category......Page 136
    6.2 Cartesian closed categories......Page 139
    6.3 Heyting algebras......Page 146
    6.4 Propositional calculus......Page 148
    6.5 Equational definition of CCC......Page 151
    6.6 λ-calculus......Page 152
    6.7 Variable sets......Page 157
    6.8 Exercises......Page 161
    7.1 Category of categories......Page 164
    7.2 Representable structure......Page 166
    7.3 Stone duality......Page 170
    7.4 Naturality......Page 172
    7.5 Examples of natural transformations......Page 174
    7.6 Exponentials of categories......Page 178
    7.7 Functor categories......Page 181
    7.8 Monoidal categories......Page 185
    7.9 Equivalence of categories......Page 188
    7.10 Examples of equivalence......Page 192
    7.11 Exercises......Page 198
    8.1 Set-valued functor categories......Page 202
    8.2 The Yoneda embedding......Page 204
    8.3 The Yoneda lemma......Page 205
    8.4 Applications of the Yoneda lemma......Page 210
    8.5 Limits in categories of diagrams......Page 211
    8.6 Colimits in categories of diagrams......Page 212
    8.7 Exponentials in categories of diagrams......Page 216
    8.8 Topoi......Page 218
    8.9 Exercises......Page 220
    9.1 Preliminary definition......Page 224
    9.2 Hom-set definition......Page 228
    9.3 Examples of adjoints......Page 232
    9.4 Order adjoints......Page 236
    9.5 Quantifiers as adjoints......Page 238
    9.6 RAPL......Page 242
    9.7 Locally cartesian closed categories......Page 248
    9.8 Adjoint functor theorem......Page 256
    9.9 Exercises......Page 265
    10.1 The triangle identities......Page 270
    10.2 Monads and adjoints......Page 272
    10.3 Algebras for a monad......Page 276
    10.4 Comonads and coalgebras......Page 281
    10.5 Algebras for endofunctors......Page 283
    10.6 Exercises......Page 291
    Solutions to selected exercises......Page 296
    References......Page 320

    电子书下载地址回复可见:
    游客,如果您要查看本帖隐藏内容请回复

    每天进步一点点
    回复

    使用道具 举报

  • TA的每日心情
    开心
    2019-2-25 11:16
  • 签到天数: 49 天

    [LV.5]常住居民I

    2361

    主题

    4008

    帖子

    8730

    积分

    副教授

    Rank: 7Rank: 7Rank: 7

    金币
    9

    突出贡献

    发表于 2019-2-20 21:22:49 | 显示全部楼层
    Category Theory 2nd ed.-[Steve Awodey] 2010
    回复

    使用道具 举报

  • TA的每日心情
    奋斗
    2019-9-17 15:05
  • 签到天数: 350 天

    [LV.8]以坛为家I

    0

    主题

    367

    帖子

    367

    积分

    高中生

    Rank: 3Rank: 3

    金币
    2375
    QQ
    发表于 2019-2-21 10:29:14 | 显示全部楼层
    think you
    Category Theory 2nd ed.-[Steve Awodey] 2010
    111111111
    回复

    使用道具 举报

  • TA的每日心情
    开心
    1 小时前
  • 签到天数: 50 天

    [LV.5]常住居民I

    1

    主题

    122

    帖子

    124

    积分

    初中生

    Rank: 2

    金币
    90
    发表于 2019-7-11 13:51:00 | 显示全部楼层
    看看看看看看看看看
    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 立即注册

    本版积分规则

    关闭

    站长推荐上一条 /1 下一条

    QQ|Archiver|手机版|小黑屋|科研帝   

    GMT+8, 2019-10-15 12:24 , Processed in 0.080218 second(s), 31 queries .

    Powered by Discuz! X3.4

    © 2001-2017 Comsenz Inc.

    快速回复 返回顶部 返回列表