范畴

唯物辩证法的“三大规律”和“五大范畴”-联系与发展

雨燕双飞 提交于 2019-12-25 01:09:46
唯物辩证法是关于联系和发展的科学,联系的观点和发展的观点是它的总特征,辩证法的三大规律都是讲发展的,五大范畴都是讲联系的。 三大规律: 对立统一规律 :世界上任何事物的内部和事物之间都包含矛盾的两个方面,矛盾的双方既对立又统一。事物的运动发展在于自身的矛盾运动,矛盾的斗争性和同一性、普遍性和特殊性(共性和个性、绝对和相对、一般和个别)统一于客观事实。对立统一规律揭示了事物发展变化的源泉和动力,它贯穿于唯物辩证法其它规律和范畴之中,是唯物辩证法科学体系的实质和核心。 量变质变规律: 任何事物的变化都是由量变到质变的过程,量变到一定程度引起质变,产生新质,然后,在新质的基础上又开始新的量变。量变是质变的基础和必要的准备,质变是量变的必然结果。量变质变规律揭示事物发展的形式和形态。 否定之否定规律: 任何事物的发展变化都是新事物对旧事物的否定,是事物内部的肯定和否定两方面矛盾斗争的结果,是事物自我发展的过程,但是否定并不是全盘抛弃,而是“扬弃”,是克服和保留的统一。新事物否定旧事物然后被更新的事物否定,一切事物都是如此“螺旋式”向前发展。否定之否定规律揭示了事物发展的趋势和道路,即事物的发展表现为前进性和曲折性的统一,新事物是不可战胜的。 五大范畴: 是对事物最普遍的辩证关系的概括和反映,是辩证思维的逻辑形式,它们从不同侧面揭示了物质世界的普遍联系和发展。 内容和形式: 内容决定形式

Haskell抽象概念Functor剖析

强颜欢笑 提交于 2019-12-18 16:57:53
【推荐】2019 Java 开发者跳槽指南.pdf(吐血整理) >>> 在理解Functor之前,必须对抽象代数的范畴论有所了解,有范畴论的知识作为铺垫,感觉Functor也不是那么的难以理解了。 一个范畴C包括: 一个由对象所构成的类ob(C) 对象之间的态射所构成的类hom(C)。每一个态射f都会有一个“源对象”a和“目标对象”b,且a和b 都在ob(C)之内。因此写成f:a -> b,且称f为由a到b的态射。所有a到b的态射所构成的“态射类”, 其标记为hom(a,b)或者homC(a,b)。 对三个对象a、b和c,二元运算hom(a,b) * hom(b,c) -> hom(a,c)称之为态射复合;f :a -> b 和g : b -> c 的复合写成g . f 或者gf。 态射复合满足下列公理: (结合律)若f:a -> b、g:b -> c且 h:c -> d,则 h.(g.f) = (h.g).f; (单位元)对任一对象x,存在一态射1x:x -> x,使得每一态射f:a -> b,都会有1b.f = f = f.1a。 此态射称为“x的单位态射”。 千万别被这些概念吓到了,从编程者的角度考虑,范畴就是一种抽象,一种interface,理解一个抽象接口最好的方式就是看它的具体实现,而范畴最容易理解的一个具体就是Set,集合,我们高中就接触过的东西。一个集合就是一个范畴