Preskoči na sadržaj

Learning Category Theory

10. kolovoza 2019.
Resources to learn Category Theory

This is a beautiful and lucid paper on understanding basics of Category Theory — Rosetta Paper 1: How Categories Arise Naturally: Some set theory, high school algebra, and good understanding of arithmetic (+,-,×,÷) are the only prerequisites you need!

1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa

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!

1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa

TIL Girard's Paradox: Russell's Paradox's equivalent for types instead of sets: 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}

1 korisnik označava da mu se sviđa

Rosetta stone table on the isomorphisms between Category Theory, Physics, Topology, Logic, and Computation.

9 proslijeđenih tweetova 31 korisnik označava da mu se sviđa

This looks like a neat deck with enough breadth on Category Theory and it's applications by :

1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa

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

1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa