The idea of a “category”–a sort of mathematical universe–has brought about a Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply F. William Lawvere,Stephen H. Schanuel. Conceptual Mathematics: A First Introduction to Categories. Front Cover · F. William Lawvere, Stephen H. Schanuel. Cambridge University. I find Conceptual Mathematics creative, illuminating, and thought-provoking. Subobject classifiers for high school students! However, I’ve never.
|Published (Last):||4 January 2011|
|PDF File Size:||2.58 Mb|
|ePub File Size:||20.6 Mb|
|Price:||Free* [*Free Regsitration Required]|
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.
Selected pages Title Page.
I do want to point out though that one is certainly not learning “ZFC set theory” in any transitions course I have ever seen. Goodreads concepptual you keep track of books you want to read. Subobject classifiers for high school students!
Some uses of graphs. William LawvereStephen H. Overall the course at cknceptual time looked eccentric, and doing something more traditional would probably have worked even better, but it did work, because the instructor — the still-present, great Arunas Liulevicius — had so much insight, enthusiasm and charm.
Jens rated it it was amazing Sep 05, In case you have not yet seen it, I thought I would draw your attention to what is currently the most recent issue of the American Mathematical Monthly, and, in particular, the article:. Has anyone here used it as such and what were the pros and cons you experienced in doing so?
As the author somewhat humorously remarks: So you can make things work that sound like they shouldn’t, sometimes.
Conceptual Mathematics: A First Introduction To Categories
Each time I taught the course I ended up doing very little with cardinalities of infinite sets: Refresh and try again. A First Introduction to Categories. As a final, offhand comment about bridging courses: Clark 1, 6 Map object versus product. Rosebrugh, Sets for Mathematics.
In other words, the treatment is largely synthetic as opposed to analytic. James rated it it was amazing May 12, Sergey rated it really liked it Nov 04, I finally understand the pure mathematical power lawvee category theory after reading this book.
If the goal of the course is teaching good proof techniques, I would focus on things like: Maps preserve positive properties. Retrieved online from http: No trivia or quizzes yet.
Apr 13, DJ marked it as to-read Shelves: The first pages or so I really enjoyed, but after that, the book gradually became increasingly difficult to follow. Because these concepts are hidden behind other, more specific operations, the student never really learns the concepts as such.
Oliver rated it really liked it Nov 13, It thus serves two purposes: You might need to make additional comments, e. Thanks for telling us about the problem.
Conceptual Mathematics: A First Introduction To Categories by F. William Lawvere
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. It came up in Amazon recommendations when I was browsing for Haskell books and I thought I would give it a try. But mathematics embodies conceptual tools that are as important to understanding math as any other branch of the science.
The category of sets. Subobjects logic and truth. An arXiv version can be found here.
William LawvereWilliam F. Examples of universal constructions. A First Introduction to Categories F. Galileo and multiplication of objects.
This entire consideration turned out to be too “formalized” for most students, almost to the point that I regret mentioning it.