Category Theory - d-atif/mathematics-links GitHub Wiki

(for applied category theory go here)

Miscellaneous

1. Physics, Topology, Logic and Computation: A Rosetta Stone by John C. Baez, Mike Stay
2. Diagonal arguments and cartesian closed categories, F. William Lawvere
3. Hoàng Xuân Sính's Thesis: Categorifying Group Theory, John C. Baez
4. The Mathematics of Text Structure, Bob Coecke
5. Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad, Sophie Libkind and David I. Spivak

Topos theory

1. Topos Theory in a Nutshell, by John Baez
2. Topos theoretic methods in geometry, a collection of articles edited by A. Kock

Categorical logic

1. Categorical logic from a categorical point of view, Michael Shulman
2. Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers, Dusko Pavlovic

Cognitive Science (psychology etc.)

1. What is category theory to cognitive science? Compositional representation and comparison, Steven Phillips