Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of David I. Spivak's books
Sign in with Facebook
Sign in
options
Join Goodreads
David I. Spivak’s Followers (8)
David I. Spivak
edit data
Combine Editions
David I. Spivak’s books
David I. Spivak
Average rating:
4.22
·
78
ratings ·
15
reviews ·
5 distinct works
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
by
Brendan Fong
,
David I. Spivak
4.42 avg rating — 55 ratings
— published 2019 —
6 editions
Want to Read
saving…
Want to Read
Currently Reading
Read
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Category Theory for the Sciences
4.12 avg rating — 52 ratings
— published 2013 —
6 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic Book 29)
by
Patrick Schultz
,
David I. Spivak
really liked it
4.00 avg rating — 1 rating
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
by
Patrick Schultz
,
David I. Spivak
0.00 avg rating — 0 ratings
—
3 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Polynomial Functors: A Mathematical Theory of Interaction
by
Nelson Niu
,
David I. Spivak
0.00 avg rating — 0 ratings
—
3 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
More books by David I. Spivak…
Is this you?
Let us know.
If not, help out and
invite David to Goodreads.
Welcome back. Just a moment while we sign you in to your Goodreads account.