Basic Category Theory 基本猫论

• 什么是范畴？范畴包括：

1. 一组对象，
2. 一组箭头（一般叫做态射morphisms），
3. f:A->B意为f的实体（dom/domain）是A，值域（cod/codomain）是B
4. 箭头运算
5. identity运算6. domain A codomain B可以写作C(A,B)

• 什么是范畴论中的幺半群（monoid）？(知乎 https://zhuanlan.zhihu.com/p/360601837)
  
  在范畴论中的幺半群其实就是用morphism重新定义结合律（笛卡尔积）和单位元的过程，在范畴论中，笛卡尔积等同于product，单位元等同于terminal

• 任何具有单个元素的范畴都会产生幺半群

• 对偶范畴的态射和原范畴相反，也可以通过交换domain 和 codomain 得到对偶范畴

• 单射的（一对一）、满射的（onto）或双射的（定义同构）

• 环（ring）被认为有乘法单位元（multiplicative idenetity），环的同态则被认为保持乘法单位元的性质

• 

• map的典型意义是同态（homomorphism）和连续映射（continuous map）

• categories之间的map就是functor

• 单态 monomorphism：单射函数f
  

• 满同态 epimorphism：满射函数f
  
  

• 同构
  

• algebraic topology researchers们发现，在定义“natural tranformation”之前，必须定义“functor”，在定义“functor”之前，必须定义“category”
  -

• initial object及其对偶（dual）
  对于每一个对象A存在从0到A的态射，0就是initial object；对于每一个对象A存在从A到1的态射，1就是terminal/final object
  对象到terminal/final object通常会被一个！标记

• projection function：AB->A AB->B

• product 产物 A和B的产物是AxB 有两个投影函数projection function
  

• coproduct 副产品
  

• Universal Constructions 通用构造
  通用构造描述了一组对象和伴随的箭头，这些箭头共享相同的属性并且当这class被认为是一组范畴时选择出最终的对象
  

• 均衡器Equalizers