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
Listopia
>
Chiaki
's votes on the list
from sets to types to categories to sets: category theory and the foundations of mathematics
(22 Books)
1
Sketches of an Elephant: A Topos Theory Compendium
by
Peter T. Johnstone
4.67 avg rating — 3 ratings
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
2
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)
by
Michael Makkai
3.86 avg rating — 7 ratings
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
3
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
by
Saunders MacLane
4.67 avg rating — 27 ratings
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
4
Homotopy Type Theory
by
The Univalent Foundations Program
4.51 avg rating — 53 ratings
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
5
Sets for Mathematics
by
F. William Lawvere
4.39 avg rating — 18 ratings
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
6
Conceptual Mathematics: A First Introduction to Categories
by
F. William Lawvere
4.33 avg rating — 195 ratings
Chiaki rated it 4 stars
See Review
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
7
Gravity and Grace
by
Simone Weil
4.27 avg rating — 3,890 ratings
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
8
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
by
J. Lambek
4.33 avg rating — 12 ratings
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
9
Categories for the Working Mathematician
by
Saunders Mac Lane
4.38 avg rating — 115 ratings
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
10
Category Theory
by
Steve Awodey
4.08 avg rating — 76 ratings
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
11
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
by
David Corfield
4.50 avg rating — 6 ratings
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
12
Foundations of Algebraic Topology
by
Samuel Eilenberg
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
13
Practical Foundations for Programming Languages
by
Robert Harper
3.87 avg rating — 62 ratings
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
14
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
by
Paul Taylor
4.20 avg rating — 5 ratings
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
15
Principia Mathematica (3 Volume Set)
by
Alfred North Whitehead
3.98 avg rating — 213 ratings
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
16
Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)
by
Abramsky S
really liked it
4.00 avg rating — 3 ratings
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
17
Set Theory and Its Logic
by
Willard Van Orman Quine
3.86 avg rating — 28 ratings
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
18
Algebraic Set Theory (London Mathematical Society Lecture Note Series, Series Number 220)
by
A. Joyal
liked it
3.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
19
Duality and Definability in First Order Logic
by
Mihály Makkai
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
20
Accessible Categories: The Foundations of Categorical Model Theory
by
Mihály Makkai
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
21
Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science, 76)
by
Giovanni Sommaruga
(Editor)
0.00 avg rating — 0 ratings
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
22
Harvey Friedman's Research on the Foundations of Mathematics
by
L.A. Harrington
(Editor)
it was ok
2.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
Like
Post a comment »
Comments
No comments have been added yet.
post a comment »
Add a reference:
Book
Author
Search for a book to add a reference
add:
link
cover
Author:
add:
link
photo
Create New List
All Lists
Lists I Created
Lists I've Voted On
Lists I've Liked
Vote on This List
Remove My Votes
Other Lists Chiaki voted on
Best books for training runners
68 books — 67 voters
Mathematics for Machine Learning
120 books — 13 voters
Best of Springer Mathematics
500 books — 35 voters
Mathematics and Foundations of Computer Science (University of Oxford)
172 books — 26 voters
Category Theory, Homotopy Theory, and Algebraic Topology
54 books — 3 voters
More…
Welcome back. Just a moment while we sign you in to your Goodreads account.