TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Category Theory [pdf]

10 点作者 ColinWright17 天前

2 条评论

ColinWright17 天前
From the author&#x27;s post on Mathstodon ...<p><i>There&#x27;s a new complete version of</i> Introducing Category Theory <i>downloadable here:</i><p><a href="https:&#x2F;&#x2F;logicmatters.net&#x2F;categories" rel="nofollow">https:&#x2F;&#x2F;logicmatters.net&#x2F;categories</a><p><i>Apart from proof reading for typos and thinkos, this is the version which will be paperbacked (as cheaply as possible) in May. So do please let me know of any errors, however small!</i><p><i>(For those who aren&#x27;t familiar with earlier drafts, this is a very gently paced intro, covering much of what&#x27;s in e.g. Tom Leinster&#x27;s book but at a more leisurely pace with most proofs&#x2F;exercises fully spelt out. Could be useful warm up for those who will be taking an industrial strength grad course. Or for those who just want to get some sense of what the catgorial fuss is about but in a more conventional&#x2F;more detailed way than you&#x27;ll get from Eugenia Cheng&#x27;s book)</i><p>-- <a href="https:&#x2F;&#x2F;mathstodon.xyz&#x2F;@PeterSmith&#x2F;114405298066685855" rel="nofollow">https:&#x2F;&#x2F;mathstodon.xyz&#x2F;@PeterSmith&#x2F;114405298066685855</a>
helix27817 天前
Quite nice. Though I like texts with exercises better