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

Advertisements

Why Category Theory Matters – John Baez

Category Theory, aka “The Abstract Nonsense” surges thanks to its new incarnation applied in IT : “Type Theory”.

http://rs.io/why-category-theory-matters/

See also : My comment on the Different views of Set, Category & Typs Theories

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

    ..

    Category Theory III for Programmers (Part 1 & 2)

    The most interesting “Category Theory” (范畴论) for Programmers course III by Dr. Bartosz Milewski , a follow-up of last year’s course II.

    Prerequisites:

    1. Fundamental of Category Theory: Functor, Natural Transformation, etc. (Course II Series)
    2. (Nice to have) : Basic Haskell Functional Programming Language. (Quick Haskell Tutorial)

    1.1: Overview Part 1

    Category Theory (CT) = Summary of ALL Mathematics

    Functional Programming = Application of CT

    Philosophical Background:

    • Math originated 3,000 years ago in Geometry by Greek Euclid with Axioms and deductive (演译) Proof-driven Logic.
    • Geometry = Geo (Earth) + Metry (Measurement).
    • Math evolved from 2-dimensional Euclidean Geometry through 17 CE French Descartes’s Cartesian Geometry using the 13CE Arabic invention “Algebra” in Equations of n dimensions: (x_1, x_2,..., x_n) , (y_1, y_2,..., y_n)
    • Use of Algebra: 1) Evaluation of algebraic equations (in CT: “Functor”) ; 2) Manipulation. eg. Substitution (in CT : “Monad” ), Container (in CT: “Endo-Functor” ), Algebraic Operations (in CT: “Pure, Return, Binding” ).
    • Lawvere Theories: unified all definitions of Monoids (from Set to CT)
    • Free Monoid = “List” (in Programming). Eg. Concatenation of Lists = new List (Composition, Associative Law) ; Empty List (Unit Law).
    • Advance of Math in 21CE comes back to Geometry in new Math branches like Algebraic Geometry, Algebraic Topology, etc.

    Note: The only 2 existing human Languages invented were derived from forms & shapes (images) of the mother Earth & Nature:

    1. Ancient Greek Geometry (3000 years) ;
    2. Ancient Chinese Pictogram Characters (象形汉字, 3000 years 商朝. 甲骨文 ) .

    https://youtu.be/F5uEpKwHqdk

    1.1: Overview Part 2

    Keypoints: (just a ‘helicopter’ view of the whole course syllabus)

    • Calculus: infinite Product, infinite Sum (co-Product), End, co-End.
    • Kan-extensions
    • Geometry in “Abstract” aka Topology: “Topos”
    • Enriched Category : (2-category) Analogy : complex number makes Trigonometry easy; same does Enriched Category.
    • Groupoid => “HTT” : Homotopic Type Theory

    https://youtu.be/CfoaY2Ybf8M

    2.1 String Diagrams (Part 1)

    Composing Natural Transformations (Vertical & Horizontal): \alpha \; \beta (assumed naturality)

    https://youtu.be/eOdBTqY3-Og

    2.2 Monad & Adjunction

    https://youtu.be/lqq9IFSPp7Q

    Refs:

    1. Download BM’s book “Category Theory for Programmers” :

    https://github.com/hmemcpy/milewski-ctfp-pdf