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

https://awalterschulze.github.io/blog/post/neglecting-math-at-university/

Abstraction: Monoid, Category

Category

Advertisements

New Math applied in Modern Physics

【文小刚:物理学的新革命——凝聚态物理中的近代数学 | 众妙之门】
https://m.toutiaocdn.com/group/6712424299841454595/?app=news_article_lite&timestamp=1562923076&req_id=20190712171755010152027098774DD5D&group_id=6712424299841454595&tt_from=android_share&utm_medium=toutiao_android&utm_campaign=client_share

Keywords:

  • 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

Next…

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

(想看更多合你口味的内容,马上下载 今日头条)
http://app.toutiao.com/news_article/?utm_source=link

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

    ..