Chiaki's votes on the list from sets to types to categories to sets: category theory and the foundations of mathematics

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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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 Mihály Makkai really liked it 4.00 avg rating — 1 rating	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 Mihály Makkai really liked it 4.00 avg rating — 1 rating	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	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	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