原创力文档- 1、本文档共23页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
止易右
Higher-Dimensional Category Theory
The architecture of mathematics
Eugenia Cheng
Novemb er 2000
The history of maths shows that its greatest contribu-
tion to science, culture and technology has b een in terms
of expressive p ower, to give a language for intuitions
which enables exact description, calculation, deduction.
|Ronald Brown
to `Categories e-mailing list, 21st June 2000
Contents
Foreword 2
Intro duction 3
1 Foundations 5
1.1 Theory: What is mathematics? . . . . . . . . . . . . . . . . . 5
1.2 Category Theory: The mathematics of mathematics . . . . . . 7
1.3 Dimensions in Category Theory: Layers of complication . . . . 9
1.4 Higher Dimensional Category Theory: Minimal rules for max-
imal expression . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Completed research 12
2.1 The `op etopic de nition of n-category . . . . . . . . . . . . . 13
2.2 Building blo cks: op etop es . . . . . . . . . . . . . . . . . . . . 14
2.3 Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 The future: up and along 19
3.1 `Up . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 `Along . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
R
文档评论（0）