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