Awesome-Mirrors/awesome-math
1
0
Fork 0
mirror of https://github.com/rossant/awesome-math.git synced 2024-12-28 00:29:34 -05:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #45 from novanauliazami/type-theory

Browse Source 
Add Proofs and Types book
This commit is contained in:
Cyrille Rossant 2019-10-14 10:40:58 +02:00 committed by GitHub
commit beaeb61ee1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -22,6 +22,7 @@ A curated list of awesome mathematics resources.
* [Set Theory](#set-theory) * [Set Theory](#set-theory)
* [Logic](#logic) * [Logic](#logic)
* [Category Theory](#category-theory) * [Category Theory](#category-theory)
* [Type Theory](#type-theory)
* [Homotopy Type Theory](#homotopy-type-theory) * [Homotopy Type Theory](#homotopy-type-theory)
* [Surreal Numbers](#surreal-numbers) * [Surreal Numbers](#surreal-numbers)
* [Number Theory](#number-theory) * [Number Theory](#number-theory)
@ -174,6 +175,9 @@ A curated list of awesome mathematics resources.
* [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) * [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)
### Type Theory
* [Proofs and Types](http://www.paultaylor.eu/stable/prot.pdf) - Jean-Yves Girard
### Homotopy Type Theory ### Homotopy Type Theory
* [Homotopy Type Theory](https://hottheory.files.wordpress.com/2013/03/hott-online-611-ga1a258c.pdf) * [Homotopy Type Theory](https://hottheory.files.wordpress.com/2013/03/hott-online-611-ga1a258c.pdf)