Learning Category Theory
This is a beautiful and lucid paper on understanding basics of Category Theory — Rosetta Paper 1: How Categories Arise Naturally: https://people.cs.clemson.edu/~steve/Papers/Rosetta/rosetta1.pdf … Some set theory, high school algebra, and good understanding of arithmetic (+,-,×,÷) are the only prerequisites you need!
Category Theory has coopted so many everyday terms and have defined them as rigorous structures: Set, Type, Field, Group, Ring, Lattice, String, Fiber, Nerve, Lens, Family, Gauge, Locale, Membrane, Frame, Module, Bundle, Doctrine, Norm, Sheaf, Street, Universe!
TIL Girard's Paradox: Russell's Paradox's equivalent for types instead of sets: https://en.wikipedia.org/wiki/System_U#Girard's_paradox … If today's dabbling in set/category theory was of any use, I think this can be expressed as: {Girard's Paradox ∈ Types} homomorphous with {Russell's Paradox ∈ Set}
Rosetta stone table on the isomorphisms between Category Theory, Physics, Topology, Logic, and Computation.pic.twitter.com/Fm1nuwXu6r
This looks like a neat deck with enough breadth on Category Theory and it's applications by @SMEasterbrook: http://www.cs.toronto.edu/~sme/presentations/cat101.pdf …
TIL Category Theory is useful because: 1. Parsimony 2. Pattern atlas: Categorical patterns that can inform or be informed by patterns among/across other categories. 3. Automation: Enables (de)construction 4. Tools for thinking: Duality/Identity/Morphisms/Adjoints/Composition
POTENTIAL SPOILERS AHEAD!