文件名称:category-theory-resources:爱好者学习类别理论的资源
文件大小:6.1MB
文件格式:ZIP
更新时间:2024-04-09 04:24:34
范畴理论资源 这是针对想要学习类别理论的发烧友的入门资料的精选。我直到最近才开始学习类别理论,因此,该清单只是其中大量材料的部分样本。如果您认为我错过了此回购中该领域的一些出色工作,请发送或PR。 为什么要学习范畴论? 类别理论被许多人认为是涉及的研究领域。它成为统一各种领域的数学思想的基础。实现这一目标的方法是对这些学科的思想,思想的属性和过程进行抽象的探讨。这种观点使其能够推理出在不同领域中发生的类比,并以严格的方式跨越它们中发生的模式得出严格的类比。 这种抽象观点既是该方法的优点也是缺点。该主题的抽象性质通过赋予其通用性来统一非常不同的研究领域(例如代数拓扑,概率论,实数分析,泛函分析,数论,组合论和计算),使其具有非常强大的功能。但是与此同时,这种抽象的性质意味着,要使其致力于具体的研究课题,就变得相当艰巨。如果不首先学习足够的术语和理解来为所研究的学科建立话语框架,就很难阐明这些
【文件预览】:
category-theory-resources-master
----concepts.org(230B)
----algebraic-structures.org(2KB)
----img()
--------an-introduction-to-category-theory.jpg(58KB)
--------tom-leinster.png(20KB)
--------introduction-to-categories-and-categorical-logic.png(30KB)
--------globular-science.png(144KB)
--------category-theory-illustrated.png(166KB)
--------sicp-cover.jpg(51KB)
--------seven-sketches-in-compositionality.jpg(26KB)
--------boris-category-theory-illustrated.svg(6KB)
--------homotopy-type-theory-cover.png(840KB)
--------bob-coecke.png(17KB)
--------rocco-gangle.png(17KB)
--------benjamin-pierce.png(19KB)
--------modular-lattice-mckeown.gif(221KB)
--------basic-category-theory-for-computer-scientists.jpg(20KB)
--------robert-goldblatt.png(19KB)
--------categories-for-the-working-mathematician.jpg(30KB)
--------category-theory-for-programmers.jpg(51KB)
--------computational-category-theory.png(24KB)
--------david-rydehead.png(18KB)
--------conceptual-mathematics.jpg(62KB)
--------rod-burstall.png(20KB)
--------eric-paquette.png(16KB)
--------david-spivak.png(22KB)
--------category-theory-cover.png(1.93MB)
--------a-concrete-approach-to-abstract-algebra.png(894KB)
--------intro-to-fp-cover.jpg(19KB)
--------mathematics-form-and-function-map.jpg(41KB)
--------nikos-tzevelekos.png(18KB)
--------category-theory-for-the-sciences.jpg(79KB)
--------harold-simmons.png(3KB)
--------saunders-maclane.png(35KB)
--------steve-awodey.png(21KB)
--------stephen-schaneul.png(15KB)
--------saunders-maclane-small.png(12KB)
--------jamie-vicary-talk.jpg(63KB)
--------ochs-convention1.png(26KB)
--------diagrammatic-immanence.jpg(69KB)
--------on-groups-and-monads.png(68KB)
--------paolo-aluffi.png(20KB)
--------samson-abramsky.png(19KB)
--------algebra-chapter-0.png(24KB)
--------bartosz-milewski.png(21KB)
--------visual-group-theory.jpg(26KB)
--------eilenberg-automata.png(21KB)
--------samuel-eilenberg.png(50KB)
--------topoi-the-categorical-analysis-of-logic.jpg(75KB)
--------rosetta-stone.png(67KB)
--------awodey-category-theory.jpg(127KB)
--------ochs-convention2.png(25KB)
--------william-lawvere.png(22KB)
--------topology-via-logic.jpg(130KB)
--------homotopy-io.jpg(161KB)
--------steven-vickers.png(21KB)
--------basic-category-theory.jpg(149KB)
--------a-book-of-abstract-algebra.jpg(98KB)
--------htdp-cover.gif(67KB)
--------mathematics-form-and-function.jpg(47KB)
--------brendan-fong.png(18KB)
--------emily-riehl.png(17KB)
--------category-theory-in-context.jpg(34KB)
----readme.org(32KB)