zzfx

摘要： "范畴就是使用箭头连接的物体。" 箭头表示范畴成员之间的关系，正式的名称叫做"态射"（morphism）。范畴论认为，同一个范畴的所有成员，就是不同状态的"变形"（transformation）。通过"态射"，一个成员可以变形成另一个成员。 1.2 数学模型 既然"范畴"是满足某种变形关系的所有对象 阅读全文

摘要： 范畴论基本概念 如果你是第一次听说范畴论(category theory)，看到这高大上的名字估计心里就会一咯噔，到底数学威力巨大，光是高等数学就能让很多人噩梦连连。和搞编程的一样，数学家喜欢将问题不断加以抽象从而将本质问题抽取出来加以论证解决，范畴论就是这样一门以抽象的方法来处理数学概念的学科，主 阅读全文