Skip to content

首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.

master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 

README.md

category-theory-seminar-notes-cnu-2018

范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn.

范畴论与程序语义入门讨论小组 2018-2019 秋季学期

时间:每周六上午 9:00 - 11:30(第一次时间为 9 月 15 日)9.29 国庆调休停一次!!10.6 未决定

地点:首都师范大学北一区文科楼 806

[宣传、暂定大纲]

课下讨论微信群:群二维码太 volatile 了,请加微信 snowonion

Pictures, LaTeX docs and PDF docs inside. Written in 中文 | Chinese and English (I'm sure I won't make “full mutual translation*”. So some parts will be in Chinese and others in English).

​ * What's the idiomatic English expression?

仓库结构

您可以通过这小节的链接访问各个星期的笔记,从而较少地手动探索本 Git 仓库的文件夹结构——如果我更新这个目录及时的话。我尽量在更新仓库内容时同步更新目录。

第一周我的笔记图(含有错误!主讲人为此写的纠错),我的感想和少量笔记文字

可能有的图过大(大约超过 1 MiB),在手机版网页浏览器上 GitHub 不给显示预览。请“请求桌面站点 / 访问电脑版页面”、用电脑看、或 git clone 再看。

Prelude [zh]

讨论班。

神圣的词汇。

我也想参加一次呀。

但是修饰它的前缀总是“物理”和“数学”。

三五个聪明又有功底的头脑聚在一起,为了求真或荣誉,唰唰唰进步飞快。

我们学电脑的三五个同学聚在一起干正事,那叫做大作业、考前抢救、集中开发。

​ (可能姚的少年除外,假如祂们能被归为“学电脑的”。where 少年 := 少男和少女)

请原谅我这么屌丝。“Smart is new sexy”观念深入骨髓,然而我又是一条懒狗;一切关于性的焦虑,在我这儿都能移植到搞学问上……

搞学问吧!

在参加这个讨论班之前,我对范畴论的了解是低于等于知乎平均水平的。看了看维基百科上的几个定义;下载了约 50 MB 的范畴论 PDF;一道习题都没做;尝试弄懂为什么单子是自函子范畴上的幺半群但是没搞定。

但是我就那么跳进水里学游泳啦。“我知道群环域度量赋范内积空间!我会 Haskell!我不怕!”我这样鼓励着自己,跟 ZFM 一起走进了首都师范大学北一区文科楼 806。

Prelude [en]

TODO

Cultural gap: Do everyone discuss category theory on Quora? I'd better translate 知乎 to MathOverflow or something.

TODO

Ask hosts whether to place their full names on it.

About

首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.

Resources

Releases

No releases published

Packages

No packages published

Languages

You can’t perform that action at this time.