Sign in with Facebook
50 books
—
6 voters
Category Theory Books
Showing 1-50 of 115
Conceptual Mathematics: A First Introduction to Categories (Paperback)
by (shelved 27 times as category-theory)
avg rating 4.33 — 196 ratings — published 1997
Category Theory for Programmers (ebook)
by (shelved 17 times as category-theory)
avg rating 4.22 — 190 ratings — published 2014
Category Theory (Oxford Logic Guides)
by (shelved 17 times as category-theory)
avg rating 4.08 — 76 ratings — published 2006
Basic Category Theory for Computer Scientists (Foundations of Computing)
by (shelved 16 times as category-theory)
avg rating 3.57 — 138 ratings — published 1991
Categories for the Working Mathematician (Graduate Texts in Mathematics, 5)
by (shelved 15 times as category-theory)
avg rating 4.38 — 113 ratings — published 1971
Seven Sketches in Compositionality: An Invitation to Applied Category Theory (ebook)
by (shelved 13 times as category-theory)
avg rating 4.42 — 55 ratings — published 2019
Category Theory in Context (Aurora: Dover Modern Math Originals)
by (shelved 13 times as category-theory)
avg rating 4.49 — 68 ratings — published 2015
The Joy of Abstraction: An Exploration of Math, Category Theory, and Life (Hardcover)
by (shelved 10 times as category-theory)
avg rating 3.86 — 170 ratings — published
Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143)
by (shelved 9 times as category-theory)
avg rating 4.49 — 39 ratings — published 2014
Category Theory for Computing Science (Prentice-hall International Series in Computer Science)
by (shelved 8 times as category-theory)
avg rating 3.60 — 20 ratings — published 1990
Category Theory for the Sciences (Mit Press)
by (shelved 7 times as category-theory)
avg rating 4.12 — 52 ratings — published 2013
Abstract and Concrete Categories: The Joy of Cats (Dover Books on Mathematics)
by (shelved 7 times as category-theory)
avg rating 4.46 — 13 ratings — published 1990
Categories for Types (Cambridge Mathematical Textbooks)
by (shelved 5 times as category-theory)
avg rating 4.00 — 5 ratings — published 1994
How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics (Hardcover)
by (shelved 5 times as category-theory)
avg rating 3.64 — 1,972 ratings — published 2015
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by (shelved 5 times as category-theory)
avg rating 4.27 — 67 ratings — published 1979
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
by (shelved 5 times as category-theory)
avg rating 4.33 — 12 ratings — published 1986
Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies, 32)
by (shelved 5 times as category-theory)
avg rating 3.17 — 6 ratings — published 2007
Categories for Quantum Theory: An Introduction (Oxford Graduate Texts in Mathematics)
by (shelved 4 times as category-theory)
avg rating 4.00 — 12 ratings — published
Categories for the Working Philosopher (Hardcover)
by (shelved 4 times as category-theory)
avg rating 4.33 — 9 ratings — published
Algebra: Chapter 0 (Graduate Studies in Mathematics)
by (shelved 4 times as category-theory)
avg rating 4.72 — 76 ratings — published 2009
From a Geometrical Point of View (Logic, Epistemology, and the Unity of Science, 14)
by (shelved 4 times as category-theory)
avg rating 4.44 — 16 ratings — published 2008
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)
by (shelved 4 times as category-theory)
avg rating 3.00 — 3 ratings — published 1991
Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)
by (shelved 3 times as category-theory)
avg rating 3.50 — 6 ratings — published
Life Itself: A Comprehensive Inquiry Into the Nature, Origin, and Fabrication of Life (Complexity in Ecological Systems)
by (shelved 3 times as category-theory)
avg rating 4.17 — 84 ratings — published 1991
Higher Topos Theory (Annals of Mathematics Studies, 170)
by (shelved 3 times as category-theory)
avg rating 4.75 — 8 ratings — published 2009
Diagrammatic Immanence: Category Theory and Philosophy (Hardcover)
by (shelved 3 times as category-theory)
avg rating 3.56 — 16 ratings — published 2015
Elementary Categories, Elementary Toposes (Oxford Logic Guides)
by (shelved 3 times as category-theory)
avg rating 5.00 — 2 ratings — published 1992
Categories and Computer Science (Cambridge Computer Science Texts, Series Number 28)
by (shelved 3 times as category-theory)
avg rating 4.33 — 3 ratings — published 1992
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
by (shelved 3 times as category-theory)
avg rating 4.20 — 5 ratings — published 1999
Sets for Mathematics (Paperback)
by (shelved 3 times as category-theory)
avg rating 4.39 — 18 ratings — published 2002
Introducing String Diagrams: The Art of Category Theory (Hardcover)
by (shelved 2 times as category-theory)
avg rating 0.0 — 0 ratings — published
Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics, Series Number 184)
by (shelved 2 times as category-theory)
avg rating 4.00 — 2 ratings — published 2010
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning (Hardcover)
by (shelved 2 times as category-theory)
avg rating 4.30 — 27 ratings — published 2017
More Than Life Itself: A Synthetic Continuation in Relational Biology (Categories, 1)
by (shelved 2 times as category-theory)
avg rating 0.0 — 0 ratings — published 2009
Topology: A Categorical Approach (Paperback)
by (shelved 2 times as category-theory)
avg rating 4.44 — 9 ratings — published 2020
Categories and Sheaves (Grundlehren der mathematischen Wissenschaften, 332)
by (shelved 2 times as category-theory)
avg rating 3.50 — 2 ratings — published 2005
Topology and Category Theory in Computer Science (Hardcover)
by (shelved 2 times as category-theory)
avg rating 0.0 — 0 ratings — published 1991
Sets, Logic and Categories (Springer Undergraduate Mathematics Series)
by (shelved 2 times as category-theory)
avg rating 3.67 — 6 ratings — published 1999
Generic figures and their glueings: A constructive approach to functor categories (Paperback)
by (shelved 2 times as category-theory)
avg rating 0.0 — 0 ratings — published 2008
Locally Presentable and Accessible Categories (London Mathematical Society Lecture Note Series, Series Number 189)
by (shelved 2 times as category-theory)
avg rating 4.00 — 2 ratings — published 1994
An Introduction to Category Theory (Hardcover)
by (shelved 2 times as category-theory)
avg rating 3.52 — 25 ratings — published 2011
Homotopy Type Theory (ebook)
by (shelved 2 times as category-theory)
avg rating 4.51 — 53 ratings — published 2013
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications, Series Number 50)
by (shelved 2 times as category-theory)
avg rating 4.44 — 16 ratings — published 1994
Topos Theory (Dover Books on Mathematics)
by (shelved 2 times as category-theory)
avg rating 4.00 — 5 ratings — published 2014
Mathematics of the Transcendental: Onto-logy and being-there (Hardcover)
by (shelved 1 time as category-theory)
avg rating 3.67 — 21 ratings — published 2013
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)
by (shelved 1 time as category-theory)
avg rating 0.0 — 0 ratings — published
A Handbook of Model Categories (Algebra and Applications)
by (shelved 1 time as category-theory)
avg rating 0.0 — 0 ratings — published
Abstract Calculus: A Categorical Approach (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
by (shelved 1 time as category-theory)
avg rating 0.0 — 0 ratings — published
Monoidal Topology: A Categorical Approach to Order, Metric, and Topology (Encyclopedia of Mathematics and its Applications, Series Number 153)
by (shelved 1 time as category-theory)
avg rating 4.50 — 2 ratings — published 2014
Polygraphs: From Rewriting to Higher Categories (London Mathematical Society Lecture Note Series Book 495)
by (shelved 1 time as category-theory)
avg rating 0.0 — 0 ratings — published
“Note that in the above construction we made a number of choices; here we must beware. Choosing a good categorification – like designing a good algebraic structure such as that of preorders or quantales – is part of the art of mathematics. There is no prescribed way to categorify, and the success of a chosen categorification is rather empirical: its richer structure should allow us more insights into the subject we want to model.”
― Seven Sketches in Compositionality: An Invitation to Applied Category Theory
― Seven Sketches in Compositionality: An Invitation to Applied Category Theory
“The language of categories is affectionately known as "abstract nonsense," so named by Norman Steenrod. This term is essentially accurate and not necessarily derogatory: categories refer to "nonsense" in the sense that they are all about the "structure," and not about the "meaning," of what they represent.”
― Algebra: Chapter 0
― Algebra: Chapter 0
