From a0421a5385e7581c032238c487d826cf828b4b96 Mon Sep 17 00:00:00 2001 From: Kratacoa <40217062+Kratacoa@users.noreply.github.com> Date: Tue, 15 Sep 2020 17:30:22 +0200 Subject: [PATCH] CT: added "Category Theory in Context" by E. Riehl --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 3a47b2c..eca58bc 100644 --- a/README.md +++ b/README.md @@ -181,6 +181,7 @@ A curated list of awesome mathematics resources. * [Basic Concepts of Enriched Category Theory](http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html) - G. M. Kelley * [Abstract and Concrete Categories: The Joy of Cats](http://www.tac.mta.ca/tac/reprints/articles/17/tr17abs.html) - Jiri Adamek, Horst Herrlich, George Strecker * [Seven Sketches in Compositionality: An Invitation to Applied Category Theory](http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf) - Brendan Fong and David I. Spivak (MIT) +* [Category Theory in Context](http://www.math.jhu.edu/~eriehl/context/) - Emily Riehl (John Hopkins University) ### Type Theory * [Proofs and Types](http://www.paultaylor.eu/stable/prot.pdf) - Jean-Yves Girard