mirror of
https://github.com/rossant/awesome-math.git
synced 2025-02-05 01:45:27 -05:00
Add "7 Sketches" to category theory
Also fixed a small typographical mistake for _The Joy of Cats_
This commit is contained in:
parent
45258c82ca
commit
1de45e09d6
@ -155,7 +155,8 @@ A curated list of awesome mathematics resources.
|
||||
* [Abelian Categories](http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html) - Peter Freyd
|
||||
* [Categories and Groupoids](http://www.tac.mta.ca/tac/reprints/articles/7/tr7abs.html) - P. J. Higgins
|
||||
* [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
|
||||
* [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
|
||||
|
||||
### Homotopy Type Theory
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user