Awesome-Mirrors/awesome-math
1
0
Fork 0
mirror of https://github.com/rossant/awesome-math.git synced 2024-10-01 01:15:40 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #34 from javbit/patch-1

Browse Source 
Add 7 Sketches to category theory
This commit is contained in:
Cyrille Rossant 2018-10-20 16:42:40 +02:00 committed by GitHub
commit 17145be16f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -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 (MIT)
### Homotopy Type Theory