A Programmer’s Regret: Neglecting Math at University – Adenoid Adventures

Advanced Programming needs Advanced Math: eg.

Video Game Animation: Verlet Integration

AI: Stats, Probability, Calculus, Linear Algebra

Search Engine : PageRank: Linear Algebra

Abstraction in Program “Polymorphism” : Monoid, Category, Functor, Monad

Program “Proof” : Propositions as Types, HoTT


Abstraction: Monoid, Category



New Math applied in Modern Physics

【文小刚:物理学的新革命——凝聚态物理中的近代数学 | 众妙之门】


  • Quantum Entanglement (QE) : 量子纠缠
  • Topological Order (Long-range QE) : 拓扑序
  • Topological Insulator (Short-range QE) : 拓扑绝缘体
  • Rigid State : 凝聚态
  • Cohomology : 上同调
  • Tensor : 张量
  • Category Theory : 范畴学
  • Group Theory : 群论
  • Algebraic Topology : 代数拓扑


1. Four “Physics” Revolutions aided by Math

Math is applied to explain the Nature (Physics) :

Calculus (Differential Equation) : Newtonian Physics

Riemann Geometry : Einstein General Relativity

Partial Differential Equation: Maxwell Electro-Magnetic Field

Linear Algebra (Matrix) : Quantum Mechanics

Group Theory: Physics / Chemistry Symmetry


Category Theory : Topological Order of the long-range Quantum Entanglement

Algebraic Topology: Topological Insulator (2016 Nobel Prize Physcis)

2. The 5th Physics Revolution aided by New Math tool : Category Theory

3. Category Theory = “Structural Relationship” Math

4. Algebraic Topology

(想看更多合你口味的内容,马上下载 今日头条)

An “Introduction of Introduction” to Category Theory

Category : 范畴 has 3 things: (hence richer than a Set 集合 which is only a collection of objects)

  1. Objects 对象
  2. Arrow (Morphism 态射) between Objects, includes identity morphism.
  3. Associativity 结合性

Functor (函子) between 2 Categories (preserve structure)

Natural Transformation 自然变换

  • Example :
    Matrices -> Determinants