Lawvere And Schanuel Conceptual Mathematics Pdf

Conceptual Mathematics: A First Introduction to Categories

The idea of a category--a sort of mathematical universe--has brought about a remarkable unification and simplification of mathematics. Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

Mathematics

Computer Science

Nonfiction

Science

374 pages, Paperback

First published November 28, 1997

Ratings & Reviews

Community Reviews

336 reviews 12 followers

Edited February 6, 2017

Many people think of mathematics as the operations like addition, subtraction, multiplication or division, or the complicated models used in calculus, linear modeling or differential equations. But mathematics embodies conceptual tools that are as important to understanding math as any other branch of the science. In this work, the authors lay out the concepts of conceptual mathematics in a way that is very understandable to students and to self-learners. Conceptual mathematics is sort of the bridge between philosophical logic and math, so the student is exposed to concepts much more than operational mathematics. Such concepts as the associative theorems, distributions and other items of set theory are discussed.

This book is a very good introduction to many of the concepts of conceptual mathematics that many students pick up as they study other areas of math, such as algebra or geometry. Because these concepts are hidden behind other, more specific operations, the student never really learns the concepts as such. I would imagine that many people who think that they are not good at math are simply lacking the conceptual ideas that are taught in this book. It would be interesting to teach these concepts implicitly to a group of adults who hate math and see if they make mathematics more understandable to them. If so, then this topic really should be taught to more people who feel that they don't have the aptitude to master math.

Overall I would recommend this book to anyone who wants a better understanding of the conceptual underpinnings of math.

mathematics

Edited June 20, 2016

A real gem. More than an introduction to categories, if you stick with it this is an introduction to topos theory, and more generally an invitation to Lawvere-space. In other words, the treatment is largely synthetic (as opposed to analytic). Brouwer's fixed point theorem is a lovely payoff 1/3rd of the way through, and the Lawvere fixed point theorem that comes later, even better – if the treatment of dynamical systems etc. wasn't a thrill enough for the reader of what is in some respects a thoroughly elementary book. The philosophy and power of categorical thinking is also made abundantly clear. Towards the end (eg. section on connected component functor), the presentation gets a little sketchy and would benefit from supplementation from other sources, but overall a model of pedagogy and highly recommended!

math-syllabus

January 17, 2015

Great book on category theory with well thought out explanations. It came up in Amazon recommendations when I was browsing for Haskell books and I thought I would give it a try. It was an enlightening read. I finally understand the pure mathematical power of category theory after reading this book.

136 reviews 26 followers

December 31, 2018

as category theory books go, this is the best introduction.

Category theory will not make you into a superhero, like many people seem to think. It's just a way of organizing things.

mathematics

Edited August 17, 2020

CAVEAT: I completed through the sections contained in the first edition. There are some additional sections at the end of the 2nd edition.

This is a great book, but I do think there are some problems. I'm not going to talk about the good points, of which there are many, and I think this book is appropriate for anyone interested in category theory without enough background for the heavy-duty grad school versions in homology/AT/AG/whatever. Even in that case you might find something interesting.

1. I'm not in love with the structure of the book into Articles & Sessions. Particularly the "dialogue" parts. Good idea, poor execution. The questions the students asked/answers weren't really similar to the questions I myself was wondering. Example: In one section, the student and the teacher talk half a page about the appropriate wording of a definition ("No, you should say this before that").

2. I wish there were more "real" examples. The text was very heavy on dialogue, but a lot of the examples in the text didn't seem helpful toward solving the problems. In a book pitched at this level, it seems like there should be more examples and less other fluff.

3. A lot of the exercises seemed to be hinting towards more general results or examples, but it is doubtful someone reading this text has the background to realize what those were, so it would be nice to have asides (or at the very least references) to such "leading questions".

4. There's a lot of repetition, which I'm not sure if it's helpful or hurtful.

Despite my gripes, I thoroughly enjoyed the book and learned a lot.

Author 2 books 295 followers

Edited January 31, 2018

The first 100 pages or so I really enjoyed, but after that, the book gradually became increasingly difficult to follow.

It seems clear that it's written by two authors; it consists alternatingly of 'articles' and 'sessions', and the sessions are much easier to follow than the articles. Even so, as the text advances, it becomes clear why Category Theory is also known as Abstract Nonsense (although I do realise that there's supposedly no negative charge in that term).

non-fiction

350 reviews

December 9, 2019

This illustrates the key concepts of category theory in a lot of detail. Unfortunatey it is my second book on category theory so I would actually have preferred a more succinct treatment of the theorems and concepts. For me some of the illustrative diagrams became somewhat redundant as well as a lot of the text which explained a lot of elementary mathematical concepts I have already gleaned from other sources. I have some regrets in buying this.

317 reviews 217 followers

Want to Read

April 14, 2009

low level intro to category theory that is uniquely accessible to undergrads

1,374 reviews 37 followers

Edited October 8, 2014

My first attempt to understand what the Haskell folks are really up to. I have a feeling many more attempts will be required!

136 reviews 26 followers

September 21, 2014

Definitely the most accessible introduction to category theory in existence.

mathematics

Displaying 1 - 10 of 11 reviews