Mixing
Good books and lecture notes about category theory.
$begingroup$
What are the best books and lecture notes on category theory?
reference-request soft-question category-theory big-list book-recommendation
$endgroup$
add a comment |
$begingroup$
What are the best books and lecture notes on category theory?
reference-request soft-question category-theory big-list book-recommendation
$endgroup$
16
$begingroup$
Community wiki?
$endgroup$
– Akhil Mathew
Jul 21 '10 at 20:23
6
$begingroup$
I can give you an "anti-recommendation": don't get Cameron's "Sets, Logic and Categories". While it's a nice short introduction to some set theory and logic, the final chapter on category theory is too short and not at all well explained. It is however a neat little book for logic and sets...
$endgroup$
– Seamus
Aug 3 '10 at 13:11
8
$begingroup$
Best with respect to what metric...and for whom? This is a very fuzzy question.
$endgroup$
– Pete L. Clark
Feb 13 '11 at 7:03
2
$begingroup$
Programmating Reading Guide by Stanford Encyclopedia of Philosophy. It is a supplement to this article.
$endgroup$
– M. Vinay
Mar 9 '16 at 8:39
add a comment |
$begingroup$
What are the best books and lecture notes on category theory?
reference-request soft-question category-theory big-list book-recommendation
$endgroup$
What are the best books and lecture notes on category theory?
reference-request soft-question category-theory big-list book-recommendation
reference-request soft-question category-theory big-list book-recommendation
edited Sep 3 '14 at 8:38
community wiki
11 revs, 6 users 60%
Hendrik Brummermann
16
$begingroup$
Community wiki?
$endgroup$
– Akhil Mathew
Jul 21 '10 at 20:23
6
$begingroup$
I can give you an "anti-recommendation": don't get Cameron's "Sets, Logic and Categories". While it's a nice short introduction to some set theory and logic, the final chapter on category theory is too short and not at all well explained. It is however a neat little book for logic and sets...
$endgroup$
– Seamus
Aug 3 '10 at 13:11
8
$begingroup$
Best with respect to what metric...and for whom? This is a very fuzzy question.
$endgroup$
– Pete L. Clark
Feb 13 '11 at 7:03
2
$begingroup$
Programmating Reading Guide by Stanford Encyclopedia of Philosophy. It is a supplement to this article.
$endgroup$
– M. Vinay
Mar 9 '16 at 8:39
add a comment |
16
$begingroup$
Community wiki?
$endgroup$
– Akhil Mathew
Jul 21 '10 at 20:23
6
$begingroup$
I can give you an "anti-recommendation": don't get Cameron's "Sets, Logic and Categories". While it's a nice short introduction to some set theory and logic, the final chapter on category theory is too short and not at all well explained. It is however a neat little book for logic and sets...
$endgroup$
– Seamus
Aug 3 '10 at 13:11
8
$begingroup$
Best with respect to what metric...and for whom? This is a very fuzzy question.
$endgroup$
– Pete L. Clark
Feb 13 '11 at 7:03
2
$begingroup$
Programmating Reading Guide by Stanford Encyclopedia of Philosophy. It is a supplement to this article.
$endgroup$
– M. Vinay
Mar 9 '16 at 8:39
16
16
$begingroup$
Community wiki?
$endgroup$
– Akhil Mathew
Jul 21 '10 at 20:23
$begingroup$
Community wiki?
$endgroup$
– Akhil Mathew
Jul 21 '10 at 20:23
6
6
$begingroup$
I can give you an "anti-recommendation": don't get Cameron's "Sets, Logic and Categories". While it's a nice short introduction to some set theory and logic, the final chapter on category theory is too short and not at all well explained. It is however a neat little book for logic and sets...
$endgroup$
– Seamus
Aug 3 '10 at 13:11
$begingroup$
I can give you an "anti-recommendation": don't get Cameron's "Sets, Logic and Categories". While it's a nice short introduction to some set theory and logic, the final chapter on category theory is too short and not at all well explained. It is however a neat little book for logic and sets...
$endgroup$
– Seamus
Aug 3 '10 at 13:11
8
8
$begingroup$
Best with respect to what metric...and for whom? This is a very fuzzy question.
$endgroup$
– Pete L. Clark
Feb 13 '11 at 7:03
$begingroup$
Best with respect to what metric...and for whom? This is a very fuzzy question.
$endgroup$
– Pete L. Clark
Feb 13 '11 at 7:03
2
2
$begingroup$
Programmating Reading Guide by Stanford Encyclopedia of Philosophy. It is a supplement to this article.
$endgroup$
– M. Vinay
Mar 9 '16 at 8:39
$begingroup$
Programmating Reading Guide by Stanford Encyclopedia of Philosophy. It is a supplement to this article.
$endgroup$
– M. Vinay
Mar 9 '16 at 8:39
add a comment |
24 Answers
24
active
oldest
votes
$begingroup$
Lang's Algebra contains a lot of introductory material on categories, which is really nice since it's done with constant motivation from algebra (e.g. coproducts are introduced right before the free product of groups is discussed).
$endgroup$
17
$begingroup$
Lang's algebra also has significant typos that make it frustrating to read if you do not have enough mathematical maturity.
$endgroup$
– user126
Jul 24 '10 at 11:07
28
$begingroup$
re the typos: this is one instance where buying a used book that someone has marked up can be a really good idea.
$endgroup$
– Isaac
Jul 24 '10 at 16:08
8
$begingroup$
Bergman has a HUGE (ca 200 pages) companion to Lang's Algebra book math.berkeley.edu/~gbergman/.C.to.L . But even with this companion, I am not really sure if Lang is a good textbook to learn from. It does the right things, but it often does them in sloppy and/or subtly wrong way. I wouldn't say it does very much category theory either.
$endgroup$
– darij grinberg
Dec 31 '12 at 21:51
5
$begingroup$
I once heard from a rather well-known professor that he and another professor didn't quite get why a proof of a theorem was "obvious". It turned out that it wasn't so obvious, and they wrote an article about the proof. Quite fun. I think Lang has an absolutely fantastic idea of what topics to include, but the exposition is not ideal.
$endgroup$
– Dedalus
Jun 7 '13 at 10:47
add a comment |
$begingroup$
Categories for the Working mathematician by Mac Lane
Categories and Sheaves by Kashiwara and Schapira
$endgroup$
18
$begingroup$
pfft, only punks read Cat & Sheaves. These lecture notes by Schapira are better: people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf They use some nice specific examples and problems to develop category theory. With the added bonus of learning some nice alg top along with it. :D:D:D
$endgroup$
– BBischof
Jul 21 '10 at 23:19
9
$begingroup$
Uh-why do only "punks" read Cat & Sheaves? I happen to think it's a terrific and modern introduction to homological algebra and related fields.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:35
15
$begingroup$
What do you mean by punks? What's wrong with the book. Your comment really made me not want to read the book (especially because it has 7 upvotes, although it doesn't explain anything.
$endgroup$
– Jorge Fernández Hidalgo
Mar 10 '13 at 17:26
2
$begingroup$
I like Schapira/Kashiwara. But probably not for an introduction
$endgroup$
– Rachmaninoff
May 27 '16 at 13:17
4
$begingroup$
fwiw, "pfft, only punks ..." sounds like the beginning of a joking remark to me.
$endgroup$
– Soham Chowdhury
Jan 21 '18 at 16:34
add a comment |
$begingroup$
And when you get bored of reading, let the Catsters take over. (78 videos on Category theory!)
$endgroup$
add a comment |
$begingroup$
Another book that is more elementary, not requiring any algebraic topology for motivation, and formulating the basics through a question and answer approach is:
Conceptual Mathematics
An added benefit is that it is written by an expert!
$endgroup$
5
$begingroup$
Could someone edit this to give the link a name, so people immediately know what is being linked to? It's Lawvere and Schanuel's Conceptual Mathematics. Which is a really wonderful book for learning some category theory if you don't have the background to understand the heavy duty algebraic topology etc examples that enter into some discussions of CT at a very early stage.
$endgroup$
– Seamus
Aug 3 '10 at 13:07
1
$begingroup$
@Seamus Ok done!
$endgroup$
– BBischof
Aug 3 '10 at 15:06
$begingroup$
Are you implying that usually books are not written by experts? :-?
$endgroup$
– Andrea Ferretti
Aug 22 '10 at 13:24
2
$begingroup$
@Andrea hehe no, but Lawvere is particularly great!
$endgroup$
– BBischof
Aug 22 '10 at 18:37
9
$begingroup$
One particular prolific author was rumoured to write (and publish) many of his books in order for him to learn their subjects :-)
$endgroup$
– Robin Chapman
Aug 23 '10 at 18:35
add a comment |
$begingroup$
Awodey's new book, while pricey, is a really pleasant read and a good tour of Category Theory from a logician's perspective all the way up to topos theory, with a more up to date view on categories than Mac Lane.
$endgroup$
7
$begingroup$
Peter Smith has criticised Awodey's book for being pitched too high to be an introduction to categories logicmatters.net/2008/06/awodeys-category-theory-ch-1
$endgroup$
– Seamus
Aug 5 '10 at 10:37
1
$begingroup$
I will admit to having mainly used Awodey as source material while putting together my own introduction to categories lecture course material. As such, it was highly pleasant - but I am not a good example of what a newcomer'll need... haskell.org/haskellwiki/User:Michiexile/MATH198
$endgroup$
– Mikael Vejdemo-Johansson
Aug 5 '10 at 11:44
1
$begingroup$
+1 for Awodey,which is the only book I would consider to teach category theory to undergraduates.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:39
$begingroup$
I wanted to add that his book is now available in paperback at half the price of the hardcover edition: Amazon
$endgroup$
– user4536
May 30 '12 at 18:06
add a comment |
$begingroup$
I'm also a fan of Tom Leinster's lecture notes, available on his webpage here. In difficulty level, I would say these are harder than Conceptual Mathematics but easier than Categories and Sheaves, and at a similar level as Categories for the Working Mathematician.
$endgroup$
1
$begingroup$
I discovered those notes recently and in my opinion they are great!
$endgroup$
– Pandora
Dec 6 '11 at 21:32
2
$begingroup$
He also has a book coming out: Basic Category Theory.
$endgroup$
– J W
Jul 21 '14 at 19:45
4
$begingroup$
@JW: It's published. See maths.ed.ac.uk/~tl/bct. And it will be available free (online) in January, 2016.
$endgroup$
– eltonjohn
Aug 9 '14 at 1:46
$begingroup$
@eltonjohn: Thank you; that's useful to know. I note that it's in arrangement with the publisher and that the book will be both freely downloadable and freely editable.
$endgroup$
– J W
Aug 9 '14 at 1:58
add a comment |
$begingroup$
The nLab is a great resource for category theory.
$endgroup$
23
$begingroup$
I take the OP to be asking about introdutions to category theory. nLab is not a good introductory text...
$endgroup$
– Seamus
Aug 4 '10 at 7:30
4
$begingroup$
@Seamus You're right. But it's a good general reference, in the same way that wikipedia is a good general reference but shouldn't be used as a text.
$endgroup$
– Kevin H. Lin
May 4 '13 at 16:03
add a comment |
$begingroup$
The first few chapters of Goldblatt's Topoi: the categorial analysis of logic provide another fairly elementary introduction to the basics of category theory.
$endgroup$
3
$begingroup$
Goldblatt's book (which is very beautifully written, by the way) is available online in its entirety here.
$endgroup$
– Hans Lundmark
Aug 23 '10 at 6:51
1
$begingroup$
I struggled for years to understand category theory until I met Goldblatt's book; then the struggle was over.
$endgroup$
– MJD
Mar 11 '14 at 0:23
add a comment |
$begingroup$
Paolo Aluffi, Algebra: Chapter 0 has category theory woven all through it, particularly in Chapter IX of course. I can tell that randomly sampled pieces of the text are well-written, although I have never systematically read longer parts of it.
$endgroup$
2
$begingroup$
I have gone through this book very carefully. It is indeed an excellent algebra book, but the last chapter is not very good.
$endgroup$
– Hui Yu
Apr 30 '13 at 6:49
add a comment |
$begingroup$
As a young student, I enjoyed Peter Freyd's fun little book on abelian categories (available online as a TAC Reprint). The nice thing about Freyd's book is it isn't boring, and it has little pieces of wisdom (opinion) such as the remark that categories are not really important, you just define them so you can define functors. And in fact you just define functors so you can define natural transformations, the really interesting things.
Of course you may disagree, but blunt debatable assertions (like this one) always make for more interesting reading. Another provocative remark by this author is the observation that he himself seldom learnt math by reading books, but rather by talking to people.
From the nice link above I learned that Goldblatt also quotes a remark (which may have inspired Freyd's) by Eilenberg and Maclane that categories are entirely secondary to functors and natural transformations, on page 194 where he introduces these latter concepts.
Leinster's notes linked by Patrick, look nice - a bit like an introduction to Maclane's Categories for the working mathematician, chatty and full of debatable assertions, (many of which I disagree with, but enjoy thinking about). He does not give much credit, but I believe the adjoint functor theorems he quotes without proof, (GAFT,...) may be due to Freyd. Leinster's notes are easy reading and informative.
$endgroup$
2
$begingroup$
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
$endgroup$
– Uday Reddy
Dec 7 '13 at 18:44
add a comment |
$begingroup$
I've read a fair amount of Sets for Mathematics and found it to be a gentle introduction.
http://www.amazon.com/Sets-Mathematics-F-William-Lawvere/dp/0521010608/ref=pd_sim_b_5
$endgroup$
add a comment |
$begingroup$
Emily Riehl's recently published book Category theory in context is a fantastic introductory text for those interested in seeing lots of examples of where category theory arises in various mathematical disciplines. Understand the examples from other branches of mathematics requires some mathematical maturity (e.g., a bit of exposure to algebra and topology), but these examples aren't strictly necessary to understand the category theory; even the less advanced reader should have no problem understanding the categorical content of the text. It stresses the importance of representability, an understanding of which is crucial if the reader wants to go on to learn about $ 2 $-categories in the future. It's elegantly written, well-motivated, uses very clear notation, and overall is refreshingly clear in its exposition.
The current version of the text is available at http://www.math.jhu.edu/~eriehl/context.pdf and errata in the published version are being updated. The text is new, so it's not as well-known as other texts, but it's so well-written that it seems very likely that it will soon become a mainstay in the world of category theory texts.
9 July 2017 Edit. Updated the link to the text.
$endgroup$
add a comment |
$begingroup$
Arbib, Arrows, Structures, and Functors: The Categorical Imperative
More elementary than MacLane.
I don't know very much about this, but some stripes of computer scientist have taken an interest in category theory recently, and there are lecture notes floating around with that orientation.
$endgroup$
add a comment |
$begingroup$
Wikipedia has some nice free texts linked at the bottom. There's an online version of Abstract and Concrete Categories, for example.
Steve Awodey has some lecture notes available online too. (Awodey's newish book is expensive, but probably rather good)
Patrick Schultz's answer, and BBischoff's comment on an earlier answer also have good links to freely available resources.
$endgroup$
add a comment |
$begingroup$
MATH 4135/5135: Introduction to Category Theory by Peter Selinger
(17pp). Concise course outline. Only wish it covered more topics. Available in PS or PDF format.
http://www.mscs.dal.ca/~selinger/4135/
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications) by Francis Borceux. Rigorous. Comprehensive. This is NOT free, but you can see the contents/index/excerpts at the publisher's web site, listed below. This is a three volume set:
(v. 1) Basic Category Theory, 364pp. (ISBN-13: 9780521441780)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441780
(v. 2) Categories and Structures, 464pp. (ISBN-13: 9780521441797)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441797
(v. 3) Sheaf Theory, 544pp. (ISBN-13: 9780521441803)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441803
Reprints in Theory and Applications of Categories (TAC). This site has 18 books and articles on category theory in PDF, including several by F.W. Lawvere.
http://www.tac.mta.ca/tac/reprints/index.html
Abstract and Concrete Categories-The Joy of Cats by Jirı Adamek, Horst Herrlich, and George E. Strecker (524pp). Free PDF. Published under the GNU Free Documentation License. Mentioned already by Seamus in reference to Wikipedia's external links for Category Theory, but worth repeating, because it's very readable.
http://katmat.math.uni-bremen.de/acc
A Gentle Introduction to Category Theory (the calculational approach) by Maarten M. Fokkinga (80pp).
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
$endgroup$
add a comment |
$begingroup$
Barr and Wells, in addition to Toposes, Triples and Theories, have written Category Theory for the Computing Sciences, a comprehensive tome which goes through most of the interesting aspects of category theory with a constant explicit drive to relate everything to computer science whenever possible.
Both books are available online as TAC Reprints.
$endgroup$
add a comment |
$begingroup$
Last year the book Basic Category Theory by Tom Leinster was published by Cambridge University Press. I think it can serve very well as an introduction to Category Theory. It covers much less than Mac Lane's Categories for a working mathematician, but motivates concepts better.
And it's also available on Arxiv.
$endgroup$
add a comment |
$begingroup$
First Chapter of Jacobson's Basic Algebra -II.
$endgroup$
add a comment |
$begingroup$
- Appendix of Abstract-Algebra by Dummit & Foote http://www.amazon.com/Abstract-Algebra-Edition-David-Dummit/dp/0471433349
- An introduction to Category theory by Harold Simmons http://www.amazon.com/Introduction-Category-Theory-Harold-Simmons/dp/0521283043/
- A course in Homological algebra - Hilton and Stammbach http://www.amazon.com/Course-Homological-Algebra-Graduate-Mathematics/dp/0387948236/
$endgroup$
add a comment |
$begingroup$
There's also this Category Theory for Programmers by Bartosz Milewski with the companion video lectures
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
$endgroup$
$begingroup$
really engaging video lectures with a computer programming (Haskel) bend; I'm not a mathematician but I really enjoyed them enough to look for textbooks on category theory
$endgroup$
– yosimitsu kodanuri
Sep 23 '18 at 10:03
add a comment |
$begingroup$
Lawvere, Rosebrugh. Sets for Mathematics.
Pierce B. C. Basic category theory for computer scientists.
José L. Fiadeiro. Categories for Software Engineering.
Martini. Elements of Basic Category Theory.
Burstall, Rydeheard. Computational category theory. Requires ML background.
$endgroup$
add a comment |
$begingroup$
"Basic category theory"is a script by Jaap van Oosten from Utrecht university (u can find more scripts on topos theory and intuitionism there).
Advanced is Introduction in Higher order categorical logic by Lambek & Scott. The 3 vols. from Borceux aswell as Johnstone: Sketches of an elephant, 1-2 are very readable reference for looking up proofs and technical details. Toposes and local set theories by Bell is availlable in Dover prints.
$endgroup$
add a comment |
$begingroup$
I'm surprised that this hasn't been mentioned already.
"Category Theory: An Introduction" by Herrlich and Strecker. You can find this book in either the Allyn and Bacon Series in Advanced Mathematics or Sigma Series in Pure Mathematics.
Herrlich and Strecker co-authored another book called "Abstract and Concrete Categories: The Joy of Cats" which is not nearly as good as the former book.
$endgroup$
add a comment |
$begingroup$
"Algebra:Rings Modules and Categories" by Carl Faith has alot about category theory,which dos'nt need any topology to understand,but is mixed with all the stuff about algebra,which is also writen in a catigorcal way.
$endgroup$
add a comment |
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f370%2fgood-books-and-lecture-notes-about-category-theory%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
24 Answers
24
active
oldest
votes
24 Answers
24
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Lang's Algebra contains a lot of introductory material on categories, which is really nice since it's done with constant motivation from algebra (e.g. coproducts are introduced right before the free product of groups is discussed).
$endgroup$
17
$begingroup$
Lang's algebra also has significant typos that make it frustrating to read if you do not have enough mathematical maturity.
$endgroup$
– user126
Jul 24 '10 at 11:07
28
$begingroup$
re the typos: this is one instance where buying a used book that someone has marked up can be a really good idea.
$endgroup$
– Isaac
Jul 24 '10 at 16:08
8
$begingroup$
Bergman has a HUGE (ca 200 pages) companion to Lang's Algebra book math.berkeley.edu/~gbergman/.C.to.L . But even with this companion, I am not really sure if Lang is a good textbook to learn from. It does the right things, but it often does them in sloppy and/or subtly wrong way. I wouldn't say it does very much category theory either.
$endgroup$
– darij grinberg
Dec 31 '12 at 21:51
5
$begingroup$
I once heard from a rather well-known professor that he and another professor didn't quite get why a proof of a theorem was "obvious". It turned out that it wasn't so obvious, and they wrote an article about the proof. Quite fun. I think Lang has an absolutely fantastic idea of what topics to include, but the exposition is not ideal.
$endgroup$
– Dedalus
Jun 7 '13 at 10:47
add a comment |
$begingroup$
Lang's Algebra contains a lot of introductory material on categories, which is really nice since it's done with constant motivation from algebra (e.g. coproducts are introduced right before the free product of groups is discussed).
$endgroup$
17
$begingroup$
Lang's algebra also has significant typos that make it frustrating to read if you do not have enough mathematical maturity.
$endgroup$
– user126
Jul 24 '10 at 11:07
28
$begingroup$
re the typos: this is one instance where buying a used book that someone has marked up can be a really good idea.
$endgroup$
– Isaac
Jul 24 '10 at 16:08
8
$begingroup$
Bergman has a HUGE (ca 200 pages) companion to Lang's Algebra book math.berkeley.edu/~gbergman/.C.to.L . But even with this companion, I am not really sure if Lang is a good textbook to learn from. It does the right things, but it often does them in sloppy and/or subtly wrong way. I wouldn't say it does very much category theory either.
$endgroup$
– darij grinberg
Dec 31 '12 at 21:51
5
$begingroup$
I once heard from a rather well-known professor that he and another professor didn't quite get why a proof of a theorem was "obvious". It turned out that it wasn't so obvious, and they wrote an article about the proof. Quite fun. I think Lang has an absolutely fantastic idea of what topics to include, but the exposition is not ideal.
$endgroup$
– Dedalus
Jun 7 '13 at 10:47
add a comment |
$begingroup$
Lang's Algebra contains a lot of introductory material on categories, which is really nice since it's done with constant motivation from algebra (e.g. coproducts are introduced right before the free product of groups is discussed).
$endgroup$
Lang's Algebra contains a lot of introductory material on categories, which is really nice since it's done with constant motivation from algebra (e.g. coproducts are introduced right before the free product of groups is discussed).
answered Jul 21 '10 at 20:18
community wiki
Akhil Mathew
17
$begingroup$
Lang's algebra also has significant typos that make it frustrating to read if you do not have enough mathematical maturity.
$endgroup$
– user126
Jul 24 '10 at 11:07
28
$begingroup$
re the typos: this is one instance where buying a used book that someone has marked up can be a really good idea.
$endgroup$
– Isaac
Jul 24 '10 at 16:08
8
$begingroup$
Bergman has a HUGE (ca 200 pages) companion to Lang's Algebra book math.berkeley.edu/~gbergman/.C.to.L . But even with this companion, I am not really sure if Lang is a good textbook to learn from. It does the right things, but it often does them in sloppy and/or subtly wrong way. I wouldn't say it does very much category theory either.
$endgroup$
– darij grinberg
Dec 31 '12 at 21:51
5
$begingroup$
I once heard from a rather well-known professor that he and another professor didn't quite get why a proof of a theorem was "obvious". It turned out that it wasn't so obvious, and they wrote an article about the proof. Quite fun. I think Lang has an absolutely fantastic idea of what topics to include, but the exposition is not ideal.
$endgroup$
– Dedalus
Jun 7 '13 at 10:47
add a comment |
17
$begingroup$
Lang's algebra also has significant typos that make it frustrating to read if you do not have enough mathematical maturity.
$endgroup$
– user126
Jul 24 '10 at 11:07
28
$begingroup$
re the typos: this is one instance where buying a used book that someone has marked up can be a really good idea.
$endgroup$
– Isaac
Jul 24 '10 at 16:08
8
$begingroup$
Bergman has a HUGE (ca 200 pages) companion to Lang's Algebra book math.berkeley.edu/~gbergman/.C.to.L . But even with this companion, I am not really sure if Lang is a good textbook to learn from. It does the right things, but it often does them in sloppy and/or subtly wrong way. I wouldn't say it does very much category theory either.
$endgroup$
– darij grinberg
Dec 31 '12 at 21:51
5
$begingroup$
I once heard from a rather well-known professor that he and another professor didn't quite get why a proof of a theorem was "obvious". It turned out that it wasn't so obvious, and they wrote an article about the proof. Quite fun. I think Lang has an absolutely fantastic idea of what topics to include, but the exposition is not ideal.
$endgroup$
– Dedalus
Jun 7 '13 at 10:47
17
17
$begingroup$
Lang's algebra also has significant typos that make it frustrating to read if you do not have enough mathematical maturity.
$endgroup$
– user126
Jul 24 '10 at 11:07
$begingroup$
Lang's algebra also has significant typos that make it frustrating to read if you do not have enough mathematical maturity.
$endgroup$
– user126
Jul 24 '10 at 11:07
28
28
$begingroup$
re the typos: this is one instance where buying a used book that someone has marked up can be a really good idea.
$endgroup$
– Isaac
Jul 24 '10 at 16:08
$begingroup$
re the typos: this is one instance where buying a used book that someone has marked up can be a really good idea.
$endgroup$
– Isaac
Jul 24 '10 at 16:08
8
8
$begingroup$
Bergman has a HUGE (ca 200 pages) companion to Lang's Algebra book math.berkeley.edu/~gbergman/.C.to.L . But even with this companion, I am not really sure if Lang is a good textbook to learn from. It does the right things, but it often does them in sloppy and/or subtly wrong way. I wouldn't say it does very much category theory either.
$endgroup$
– darij grinberg
Dec 31 '12 at 21:51
$begingroup$
Bergman has a HUGE (ca 200 pages) companion to Lang's Algebra book math.berkeley.edu/~gbergman/.C.to.L . But even with this companion, I am not really sure if Lang is a good textbook to learn from. It does the right things, but it often does them in sloppy and/or subtly wrong way. I wouldn't say it does very much category theory either.
$endgroup$
– darij grinberg
Dec 31 '12 at 21:51
5
5
$begingroup$
I once heard from a rather well-known professor that he and another professor didn't quite get why a proof of a theorem was "obvious". It turned out that it wasn't so obvious, and they wrote an article about the proof. Quite fun. I think Lang has an absolutely fantastic idea of what topics to include, but the exposition is not ideal.
$endgroup$
– Dedalus
Jun 7 '13 at 10:47
$begingroup$
I once heard from a rather well-known professor that he and another professor didn't quite get why a proof of a theorem was "obvious". It turned out that it wasn't so obvious, and they wrote an article about the proof. Quite fun. I think Lang has an absolutely fantastic idea of what topics to include, but the exposition is not ideal.
$endgroup$
– Dedalus
Jun 7 '13 at 10:47
add a comment |
$begingroup$
Categories for the Working mathematician by Mac Lane
Categories and Sheaves by Kashiwara and Schapira
$endgroup$
18
$begingroup$
pfft, only punks read Cat & Sheaves. These lecture notes by Schapira are better: people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf They use some nice specific examples and problems to develop category theory. With the added bonus of learning some nice alg top along with it. :D:D:D
$endgroup$
– BBischof
Jul 21 '10 at 23:19
9
$begingroup$
Uh-why do only "punks" read Cat & Sheaves? I happen to think it's a terrific and modern introduction to homological algebra and related fields.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:35
15
$begingroup$
What do you mean by punks? What's wrong with the book. Your comment really made me not want to read the book (especially because it has 7 upvotes, although it doesn't explain anything.
$endgroup$
– Jorge Fernández Hidalgo
Mar 10 '13 at 17:26
2
$begingroup$
I like Schapira/Kashiwara. But probably not for an introduction
$endgroup$
– Rachmaninoff
May 27 '16 at 13:17
4
$begingroup$
fwiw, "pfft, only punks ..." sounds like the beginning of a joking remark to me.
$endgroup$
– Soham Chowdhury
Jan 21 '18 at 16:34
add a comment |
$begingroup$
Categories for the Working mathematician by Mac Lane
Categories and Sheaves by Kashiwara and Schapira
$endgroup$
18
$begingroup$
pfft, only punks read Cat & Sheaves. These lecture notes by Schapira are better: people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf They use some nice specific examples and problems to develop category theory. With the added bonus of learning some nice alg top along with it. :D:D:D
$endgroup$
– BBischof
Jul 21 '10 at 23:19
9
$begingroup$
Uh-why do only "punks" read Cat & Sheaves? I happen to think it's a terrific and modern introduction to homological algebra and related fields.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:35
15
$begingroup$
What do you mean by punks? What's wrong with the book. Your comment really made me not want to read the book (especially because it has 7 upvotes, although it doesn't explain anything.
$endgroup$
– Jorge Fernández Hidalgo
Mar 10 '13 at 17:26
2
$begingroup$
I like Schapira/Kashiwara. But probably not for an introduction
$endgroup$
– Rachmaninoff
May 27 '16 at 13:17
4
$begingroup$
fwiw, "pfft, only punks ..." sounds like the beginning of a joking remark to me.
$endgroup$
– Soham Chowdhury
Jan 21 '18 at 16:34
add a comment |
$begingroup$
Categories for the Working mathematician by Mac Lane
Categories and Sheaves by Kashiwara and Schapira
$endgroup$
Categories for the Working mathematician by Mac Lane
Categories and Sheaves by Kashiwara and Schapira
answered Jul 21 '10 at 19:35
community wiki
user126
18
$begingroup$
pfft, only punks read Cat & Sheaves. These lecture notes by Schapira are better: people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf They use some nice specific examples and problems to develop category theory. With the added bonus of learning some nice alg top along with it. :D:D:D
$endgroup$
– BBischof
Jul 21 '10 at 23:19
9
$begingroup$
Uh-why do only "punks" read Cat & Sheaves? I happen to think it's a terrific and modern introduction to homological algebra and related fields.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:35
15
$begingroup$
What do you mean by punks? What's wrong with the book. Your comment really made me not want to read the book (especially because it has 7 upvotes, although it doesn't explain anything.
$endgroup$
– Jorge Fernández Hidalgo
Mar 10 '13 at 17:26
2
$begingroup$
I like Schapira/Kashiwara. But probably not for an introduction
$endgroup$
– Rachmaninoff
May 27 '16 at 13:17
4
$begingroup$
fwiw, "pfft, only punks ..." sounds like the beginning of a joking remark to me.
$endgroup$
– Soham Chowdhury
Jan 21 '18 at 16:34
add a comment |
18
$begingroup$
pfft, only punks read Cat & Sheaves. These lecture notes by Schapira are better: people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf They use some nice specific examples and problems to develop category theory. With the added bonus of learning some nice alg top along with it. :D:D:D
$endgroup$
– BBischof
Jul 21 '10 at 23:19
9
$begingroup$
Uh-why do only "punks" read Cat & Sheaves? I happen to think it's a terrific and modern introduction to homological algebra and related fields.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:35
15
$begingroup$
What do you mean by punks? What's wrong with the book. Your comment really made me not want to read the book (especially because it has 7 upvotes, although it doesn't explain anything.
$endgroup$
– Jorge Fernández Hidalgo
Mar 10 '13 at 17:26
2
$begingroup$
I like Schapira/Kashiwara. But probably not for an introduction
$endgroup$
– Rachmaninoff
May 27 '16 at 13:17
4
$begingroup$
fwiw, "pfft, only punks ..." sounds like the beginning of a joking remark to me.
$endgroup$
– Soham Chowdhury
Jan 21 '18 at 16:34
18
18
$begingroup$
pfft, only punks read Cat & Sheaves. These lecture notes by Schapira are better: people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf They use some nice specific examples and problems to develop category theory. With the added bonus of learning some nice alg top along with it. :D:D:D
$endgroup$
– BBischof
Jul 21 '10 at 23:19
$begingroup$
pfft, only punks read Cat & Sheaves. These lecture notes by Schapira are better: people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf They use some nice specific examples and problems to develop category theory. With the added bonus of learning some nice alg top along with it. :D:D:D
$endgroup$
– BBischof
Jul 21 '10 at 23:19
9
9
$begingroup$
Uh-why do only "punks" read Cat & Sheaves? I happen to think it's a terrific and modern introduction to homological algebra and related fields.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:35
$begingroup$
Uh-why do only "punks" read Cat & Sheaves? I happen to think it's a terrific and modern introduction to homological algebra and related fields.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:35
15
15
$begingroup$
What do you mean by punks? What's wrong with the book. Your comment really made me not want to read the book (especially because it has 7 upvotes, although it doesn't explain anything.
$endgroup$
– Jorge Fernández Hidalgo
Mar 10 '13 at 17:26
$begingroup$
What do you mean by punks? What's wrong with the book. Your comment really made me not want to read the book (especially because it has 7 upvotes, although it doesn't explain anything.
$endgroup$
– Jorge Fernández Hidalgo
Mar 10 '13 at 17:26
2
2
$begingroup$
I like Schapira/Kashiwara. But probably not for an introduction
$endgroup$
– Rachmaninoff
May 27 '16 at 13:17
$begingroup$
I like Schapira/Kashiwara. But probably not for an introduction
$endgroup$
– Rachmaninoff
May 27 '16 at 13:17
4
4
$begingroup$
fwiw, "pfft, only punks ..." sounds like the beginning of a joking remark to me.
$endgroup$
– Soham Chowdhury
Jan 21 '18 at 16:34
$begingroup$
fwiw, "pfft, only punks ..." sounds like the beginning of a joking remark to me.
$endgroup$
– Soham Chowdhury
Jan 21 '18 at 16:34
add a comment |
$begingroup$
And when you get bored of reading, let the Catsters take over. (78 videos on Category theory!)
$endgroup$
add a comment |
$begingroup$
And when you get bored of reading, let the Catsters take over. (78 videos on Category theory!)
$endgroup$
add a comment |
$begingroup$
And when you get bored of reading, let the Catsters take over. (78 videos on Category theory!)
$endgroup$
And when you get bored of reading, let the Catsters take over. (78 videos on Category theory!)
answered Jul 29 '10 at 8:02
community wiki
Dylan Wilson
add a comment |
add a comment |
$begingroup$
Another book that is more elementary, not requiring any algebraic topology for motivation, and formulating the basics through a question and answer approach is:
Conceptual Mathematics
An added benefit is that it is written by an expert!
$endgroup$
5
$begingroup$
Could someone edit this to give the link a name, so people immediately know what is being linked to? It's Lawvere and Schanuel's Conceptual Mathematics. Which is a really wonderful book for learning some category theory if you don't have the background to understand the heavy duty algebraic topology etc examples that enter into some discussions of CT at a very early stage.
$endgroup$
– Seamus
Aug 3 '10 at 13:07
1
$begingroup$
@Seamus Ok done!
$endgroup$
– BBischof
Aug 3 '10 at 15:06
$begingroup$
Are you implying that usually books are not written by experts? :-?
$endgroup$
– Andrea Ferretti
Aug 22 '10 at 13:24
2
$begingroup$
@Andrea hehe no, but Lawvere is particularly great!
$endgroup$
– BBischof
Aug 22 '10 at 18:37
9
$begingroup$
One particular prolific author was rumoured to write (and publish) many of his books in order for him to learn their subjects :-)
$endgroup$
– Robin Chapman
Aug 23 '10 at 18:35
add a comment |
$begingroup$
Another book that is more elementary, not requiring any algebraic topology for motivation, and formulating the basics through a question and answer approach is:
Conceptual Mathematics
An added benefit is that it is written by an expert!
$endgroup$
5
$begingroup$
Could someone edit this to give the link a name, so people immediately know what is being linked to? It's Lawvere and Schanuel's Conceptual Mathematics. Which is a really wonderful book for learning some category theory if you don't have the background to understand the heavy duty algebraic topology etc examples that enter into some discussions of CT at a very early stage.
$endgroup$
– Seamus
Aug 3 '10 at 13:07
1
$begingroup$
@Seamus Ok done!
$endgroup$
– BBischof
Aug 3 '10 at 15:06
$begingroup$
Are you implying that usually books are not written by experts? :-?
$endgroup$
– Andrea Ferretti
Aug 22 '10 at 13:24
2
$begingroup$
@Andrea hehe no, but Lawvere is particularly great!
$endgroup$
– BBischof
Aug 22 '10 at 18:37
9
$begingroup$
One particular prolific author was rumoured to write (and publish) many of his books in order for him to learn their subjects :-)
$endgroup$
– Robin Chapman
Aug 23 '10 at 18:35
add a comment |
$begingroup$
Another book that is more elementary, not requiring any algebraic topology for motivation, and formulating the basics through a question and answer approach is:
Conceptual Mathematics
An added benefit is that it is written by an expert!
$endgroup$
Another book that is more elementary, not requiring any algebraic topology for motivation, and formulating the basics through a question and answer approach is:
Conceptual Mathematics
An added benefit is that it is written by an expert!
edited Aug 3 '10 at 15:06
community wiki
2 revs
BBischof
5
$begingroup$
Could someone edit this to give the link a name, so people immediately know what is being linked to? It's Lawvere and Schanuel's Conceptual Mathematics. Which is a really wonderful book for learning some category theory if you don't have the background to understand the heavy duty algebraic topology etc examples that enter into some discussions of CT at a very early stage.
$endgroup$
– Seamus
Aug 3 '10 at 13:07
1
$begingroup$
@Seamus Ok done!
$endgroup$
– BBischof
Aug 3 '10 at 15:06
$begingroup$
Are you implying that usually books are not written by experts? :-?
$endgroup$
– Andrea Ferretti
Aug 22 '10 at 13:24
2
$begingroup$
@Andrea hehe no, but Lawvere is particularly great!
$endgroup$
– BBischof
Aug 22 '10 at 18:37
9
$begingroup$
One particular prolific author was rumoured to write (and publish) many of his books in order for him to learn their subjects :-)
$endgroup$
– Robin Chapman
Aug 23 '10 at 18:35
add a comment |
5
$begingroup$
Could someone edit this to give the link a name, so people immediately know what is being linked to? It's Lawvere and Schanuel's Conceptual Mathematics. Which is a really wonderful book for learning some category theory if you don't have the background to understand the heavy duty algebraic topology etc examples that enter into some discussions of CT at a very early stage.
$endgroup$
– Seamus
Aug 3 '10 at 13:07
1
$begingroup$
@Seamus Ok done!
$endgroup$
– BBischof
Aug 3 '10 at 15:06
$begingroup$
Are you implying that usually books are not written by experts? :-?
$endgroup$
– Andrea Ferretti
Aug 22 '10 at 13:24
2
$begingroup$
@Andrea hehe no, but Lawvere is particularly great!
$endgroup$
– BBischof
Aug 22 '10 at 18:37
9
$begingroup$
One particular prolific author was rumoured to write (and publish) many of his books in order for him to learn their subjects :-)
$endgroup$
– Robin Chapman
Aug 23 '10 at 18:35
5
5
$begingroup$
Could someone edit this to give the link a name, so people immediately know what is being linked to? It's Lawvere and Schanuel's Conceptual Mathematics. Which is a really wonderful book for learning some category theory if you don't have the background to understand the heavy duty algebraic topology etc examples that enter into some discussions of CT at a very early stage.
$endgroup$
– Seamus
Aug 3 '10 at 13:07
$begingroup$
Could someone edit this to give the link a name, so people immediately know what is being linked to? It's Lawvere and Schanuel's Conceptual Mathematics. Which is a really wonderful book for learning some category theory if you don't have the background to understand the heavy duty algebraic topology etc examples that enter into some discussions of CT at a very early stage.
$endgroup$
– Seamus
Aug 3 '10 at 13:07
1
1
$begingroup$
@Seamus Ok done!
$endgroup$
– BBischof
Aug 3 '10 at 15:06
$begingroup$
@Seamus Ok done!
$endgroup$
– BBischof
Aug 3 '10 at 15:06
$begingroup$
Are you implying that usually books are not written by experts? :-?
$endgroup$
– Andrea Ferretti
Aug 22 '10 at 13:24
$begingroup$
Are you implying that usually books are not written by experts? :-?
$endgroup$
– Andrea Ferretti
Aug 22 '10 at 13:24
2
2
$begingroup$
@Andrea hehe no, but Lawvere is particularly great!
$endgroup$
– BBischof
Aug 22 '10 at 18:37
$begingroup$
@Andrea hehe no, but Lawvere is particularly great!
$endgroup$
– BBischof
Aug 22 '10 at 18:37
9
9
$begingroup$
One particular prolific author was rumoured to write (and publish) many of his books in order for him to learn their subjects :-)
$endgroup$
– Robin Chapman
Aug 23 '10 at 18:35
$begingroup$
One particular prolific author was rumoured to write (and publish) many of his books in order for him to learn their subjects :-)
$endgroup$
– Robin Chapman
Aug 23 '10 at 18:35
add a comment |
$begingroup$
Awodey's new book, while pricey, is a really pleasant read and a good tour of Category Theory from a logician's perspective all the way up to topos theory, with a more up to date view on categories than Mac Lane.
$endgroup$
7
$begingroup$
Peter Smith has criticised Awodey's book for being pitched too high to be an introduction to categories logicmatters.net/2008/06/awodeys-category-theory-ch-1
$endgroup$
– Seamus
Aug 5 '10 at 10:37
1
$begingroup$
I will admit to having mainly used Awodey as source material while putting together my own introduction to categories lecture course material. As such, it was highly pleasant - but I am not a good example of what a newcomer'll need... haskell.org/haskellwiki/User:Michiexile/MATH198
$endgroup$
– Mikael Vejdemo-Johansson
Aug 5 '10 at 11:44
1
$begingroup$
+1 for Awodey,which is the only book I would consider to teach category theory to undergraduates.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:39
$begingroup$
I wanted to add that his book is now available in paperback at half the price of the hardcover edition: Amazon
$endgroup$
– user4536
May 30 '12 at 18:06
add a comment |
$begingroup$
Awodey's new book, while pricey, is a really pleasant read and a good tour of Category Theory from a logician's perspective all the way up to topos theory, with a more up to date view on categories than Mac Lane.
$endgroup$
7
$begingroup$
Peter Smith has criticised Awodey's book for being pitched too high to be an introduction to categories logicmatters.net/2008/06/awodeys-category-theory-ch-1
$endgroup$
– Seamus
Aug 5 '10 at 10:37
1
$begingroup$
I will admit to having mainly used Awodey as source material while putting together my own introduction to categories lecture course material. As such, it was highly pleasant - but I am not a good example of what a newcomer'll need... haskell.org/haskellwiki/User:Michiexile/MATH198
$endgroup$
– Mikael Vejdemo-Johansson
Aug 5 '10 at 11:44
1
$begingroup$
+1 for Awodey,which is the only book I would consider to teach category theory to undergraduates.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:39
$begingroup$
I wanted to add that his book is now available in paperback at half the price of the hardcover edition: Amazon
$endgroup$
– user4536
May 30 '12 at 18:06
add a comment |
$begingroup$
Awodey's new book, while pricey, is a really pleasant read and a good tour of Category Theory from a logician's perspective all the way up to topos theory, with a more up to date view on categories than Mac Lane.
$endgroup$
Awodey's new book, while pricey, is a really pleasant read and a good tour of Category Theory from a logician's perspective all the way up to topos theory, with a more up to date view on categories than Mac Lane.
answered Aug 4 '10 at 8:23
community wiki
Mikael Vejdemo-Johansson
7
$begingroup$
Peter Smith has criticised Awodey's book for being pitched too high to be an introduction to categories logicmatters.net/2008/06/awodeys-category-theory-ch-1
$endgroup$
– Seamus
Aug 5 '10 at 10:37
1
$begingroup$
I will admit to having mainly used Awodey as source material while putting together my own introduction to categories lecture course material. As such, it was highly pleasant - but I am not a good example of what a newcomer'll need... haskell.org/haskellwiki/User:Michiexile/MATH198
$endgroup$
– Mikael Vejdemo-Johansson
Aug 5 '10 at 11:44
1
$begingroup$
+1 for Awodey,which is the only book I would consider to teach category theory to undergraduates.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:39
$begingroup$
I wanted to add that his book is now available in paperback at half the price of the hardcover edition: Amazon
$endgroup$
– user4536
May 30 '12 at 18:06
add a comment |
7
$begingroup$
Peter Smith has criticised Awodey's book for being pitched too high to be an introduction to categories logicmatters.net/2008/06/awodeys-category-theory-ch-1
$endgroup$
– Seamus
Aug 5 '10 at 10:37
1
$begingroup$
I will admit to having mainly used Awodey as source material while putting together my own introduction to categories lecture course material. As such, it was highly pleasant - but I am not a good example of what a newcomer'll need... haskell.org/haskellwiki/User:Michiexile/MATH198
$endgroup$
– Mikael Vejdemo-Johansson
Aug 5 '10 at 11:44
1
$begingroup$
+1 for Awodey,which is the only book I would consider to teach category theory to undergraduates.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:39
$begingroup$
I wanted to add that his book is now available in paperback at half the price of the hardcover edition: Amazon
$endgroup$
– user4536
May 30 '12 at 18:06
7
7
$begingroup$
Peter Smith has criticised Awodey's book for being pitched too high to be an introduction to categories logicmatters.net/2008/06/awodeys-category-theory-ch-1
$endgroup$
– Seamus
Aug 5 '10 at 10:37
$begingroup$
Peter Smith has criticised Awodey's book for being pitched too high to be an introduction to categories logicmatters.net/2008/06/awodeys-category-theory-ch-1
$endgroup$
– Seamus
Aug 5 '10 at 10:37
1
1
$begingroup$
I will admit to having mainly used Awodey as source material while putting together my own introduction to categories lecture course material. As such, it was highly pleasant - but I am not a good example of what a newcomer'll need... haskell.org/haskellwiki/User:Michiexile/MATH198
$endgroup$
– Mikael Vejdemo-Johansson
Aug 5 '10 at 11:44
$begingroup$
I will admit to having mainly used Awodey as source material while putting together my own introduction to categories lecture course material. As such, it was highly pleasant - but I am not a good example of what a newcomer'll need... haskell.org/haskellwiki/User:Michiexile/MATH198
$endgroup$
– Mikael Vejdemo-Johansson
Aug 5 '10 at 11:44
1
1
$begingroup$
+1 for Awodey,which is the only book I would consider to teach category theory to undergraduates.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:39
$begingroup$
+1 for Awodey,which is the only book I would consider to teach category theory to undergraduates.
$endgroup$
– Mathemagician1234
Sep 13 '11 at 18:39
$begingroup$
I wanted to add that his book is now available in paperback at half the price of the hardcover edition: Amazon
$endgroup$
– user4536
May 30 '12 at 18:06
$begingroup$
I wanted to add that his book is now available in paperback at half the price of the hardcover edition: Amazon
$endgroup$
– user4536
May 30 '12 at 18:06
add a comment |
$begingroup$
I'm also a fan of Tom Leinster's lecture notes, available on his webpage here. In difficulty level, I would say these are harder than Conceptual Mathematics but easier than Categories and Sheaves, and at a similar level as Categories for the Working Mathematician.
$endgroup$
1
$begingroup$
I discovered those notes recently and in my opinion they are great!
$endgroup$
– Pandora
Dec 6 '11 at 21:32
2
$begingroup$
He also has a book coming out: Basic Category Theory.
$endgroup$
– J W
Jul 21 '14 at 19:45
4
$begingroup$
@JW: It's published. See maths.ed.ac.uk/~tl/bct. And it will be available free (online) in January, 2016.
$endgroup$
– eltonjohn
Aug 9 '14 at 1:46
$begingroup$
@eltonjohn: Thank you; that's useful to know. I note that it's in arrangement with the publisher and that the book will be both freely downloadable and freely editable.
$endgroup$
– J W
Aug 9 '14 at 1:58
add a comment |
$begingroup$
I'm also a fan of Tom Leinster's lecture notes, available on his webpage here. In difficulty level, I would say these are harder than Conceptual Mathematics but easier than Categories and Sheaves, and at a similar level as Categories for the Working Mathematician.
$endgroup$
1
$begingroup$
I discovered those notes recently and in my opinion they are great!
$endgroup$
– Pandora
Dec 6 '11 at 21:32
2
$begingroup$
He also has a book coming out: Basic Category Theory.
$endgroup$
– J W
Jul 21 '14 at 19:45
4
$begingroup$
@JW: It's published. See maths.ed.ac.uk/~tl/bct. And it will be available free (online) in January, 2016.
$endgroup$
– eltonjohn
Aug 9 '14 at 1:46
$begingroup$
@eltonjohn: Thank you; that's useful to know. I note that it's in arrangement with the publisher and that the book will be both freely downloadable and freely editable.
$endgroup$
– J W
Aug 9 '14 at 1:58
add a comment |
$begingroup$
I'm also a fan of Tom Leinster's lecture notes, available on his webpage here. In difficulty level, I would say these are harder than Conceptual Mathematics but easier than Categories and Sheaves, and at a similar level as Categories for the Working Mathematician.
$endgroup$
I'm also a fan of Tom Leinster's lecture notes, available on his webpage here. In difficulty level, I would say these are harder than Conceptual Mathematics but easier than Categories and Sheaves, and at a similar level as Categories for the Working Mathematician.
edited Sep 27 '13 at 18:48
community wiki
2 revs, 2 users 86%
Patrick Schultz
1
$begingroup$
I discovered those notes recently and in my opinion they are great!
$endgroup$
– Pandora
Dec 6 '11 at 21:32
2
$begingroup$
He also has a book coming out: Basic Category Theory.
$endgroup$
– J W
Jul 21 '14 at 19:45
4
$begingroup$
@JW: It's published. See maths.ed.ac.uk/~tl/bct. And it will be available free (online) in January, 2016.
$endgroup$
– eltonjohn
Aug 9 '14 at 1:46
$begingroup$
@eltonjohn: Thank you; that's useful to know. I note that it's in arrangement with the publisher and that the book will be both freely downloadable and freely editable.
$endgroup$
– J W
Aug 9 '14 at 1:58
add a comment |
1
$begingroup$
I discovered those notes recently and in my opinion they are great!
$endgroup$
– Pandora
Dec 6 '11 at 21:32
2
$begingroup$
He also has a book coming out: Basic Category Theory.
$endgroup$
– J W
Jul 21 '14 at 19:45
4
$begingroup$
@JW: It's published. See maths.ed.ac.uk/~tl/bct. And it will be available free (online) in January, 2016.
$endgroup$
– eltonjohn
Aug 9 '14 at 1:46
$begingroup$
@eltonjohn: Thank you; that's useful to know. I note that it's in arrangement with the publisher and that the book will be both freely downloadable and freely editable.
$endgroup$
– J W
Aug 9 '14 at 1:58
1
1
$begingroup$
I discovered those notes recently and in my opinion they are great!
$endgroup$
– Pandora
Dec 6 '11 at 21:32
$begingroup$
I discovered those notes recently and in my opinion they are great!
$endgroup$
– Pandora
Dec 6 '11 at 21:32
2
2
$begingroup$
He also has a book coming out: Basic Category Theory.
$endgroup$
– J W
Jul 21 '14 at 19:45
$begingroup$
He also has a book coming out: Basic Category Theory.
$endgroup$
– J W
Jul 21 '14 at 19:45
4
4
$begingroup$
@JW: It's published. See maths.ed.ac.uk/~tl/bct. And it will be available free (online) in January, 2016.
$endgroup$
– eltonjohn
Aug 9 '14 at 1:46
$begingroup$
@JW: It's published. See maths.ed.ac.uk/~tl/bct. And it will be available free (online) in January, 2016.
$endgroup$
– eltonjohn
Aug 9 '14 at 1:46
$begingroup$
@eltonjohn: Thank you; that's useful to know. I note that it's in arrangement with the publisher and that the book will be both freely downloadable and freely editable.
$endgroup$
– J W
Aug 9 '14 at 1:58
$begingroup$
@eltonjohn: Thank you; that's useful to know. I note that it's in arrangement with the publisher and that the book will be both freely downloadable and freely editable.
$endgroup$
– J W
Aug 9 '14 at 1:58
add a comment |
$begingroup$
The nLab is a great resource for category theory.
$endgroup$
23
$begingroup$
I take the OP to be asking about introdutions to category theory. nLab is not a good introductory text...
$endgroup$
– Seamus
Aug 4 '10 at 7:30
4
$begingroup$
@Seamus You're right. But it's a good general reference, in the same way that wikipedia is a good general reference but shouldn't be used as a text.
$endgroup$
– Kevin H. Lin
May 4 '13 at 16:03
add a comment |
$begingroup$
The nLab is a great resource for category theory.
$endgroup$
23
$begingroup$
I take the OP to be asking about introdutions to category theory. nLab is not a good introductory text...
$endgroup$
– Seamus
Aug 4 '10 at 7:30
4
$begingroup$
@Seamus You're right. But it's a good general reference, in the same way that wikipedia is a good general reference but shouldn't be used as a text.
$endgroup$
– Kevin H. Lin
May 4 '13 at 16:03
add a comment |
$begingroup$
The nLab is a great resource for category theory.
$endgroup$
The nLab is a great resource for category theory.
answered Jul 28 '10 at 21:23
community wiki
Kevin H. Lin
23
$begingroup$
I take the OP to be asking about introdutions to category theory. nLab is not a good introductory text...
$endgroup$
– Seamus
Aug 4 '10 at 7:30
4
$begingroup$
@Seamus You're right. But it's a good general reference, in the same way that wikipedia is a good general reference but shouldn't be used as a text.
$endgroup$
– Kevin H. Lin
May 4 '13 at 16:03
add a comment |
23
$begingroup$
I take the OP to be asking about introdutions to category theory. nLab is not a good introductory text...
$endgroup$
– Seamus
Aug 4 '10 at 7:30
4
$begingroup$
@Seamus You're right. But it's a good general reference, in the same way that wikipedia is a good general reference but shouldn't be used as a text.
$endgroup$
– Kevin H. Lin
May 4 '13 at 16:03
23
23
$begingroup$
I take the OP to be asking about introdutions to category theory. nLab is not a good introductory text...
$endgroup$
– Seamus
Aug 4 '10 at 7:30
$begingroup$
I take the OP to be asking about introdutions to category theory. nLab is not a good introductory text...
$endgroup$
– Seamus
Aug 4 '10 at 7:30
4
4
$begingroup$
@Seamus You're right. But it's a good general reference, in the same way that wikipedia is a good general reference but shouldn't be used as a text.
$endgroup$
– Kevin H. Lin
May 4 '13 at 16:03
$begingroup$
@Seamus You're right. But it's a good general reference, in the same way that wikipedia is a good general reference but shouldn't be used as a text.
$endgroup$
– Kevin H. Lin
May 4 '13 at 16:03
add a comment |
$begingroup$
The first few chapters of Goldblatt's Topoi: the categorial analysis of logic provide another fairly elementary introduction to the basics of category theory.
$endgroup$
3
$begingroup$
Goldblatt's book (which is very beautifully written, by the way) is available online in its entirety here.
$endgroup$
– Hans Lundmark
Aug 23 '10 at 6:51
1
$begingroup$
I struggled for years to understand category theory until I met Goldblatt's book; then the struggle was over.
$endgroup$
– MJD
Mar 11 '14 at 0:23
add a comment |
$begingroup$
The first few chapters of Goldblatt's Topoi: the categorial analysis of logic provide another fairly elementary introduction to the basics of category theory.
$endgroup$
3
$begingroup$
Goldblatt's book (which is very beautifully written, by the way) is available online in its entirety here.
$endgroup$
– Hans Lundmark
Aug 23 '10 at 6:51
1
$begingroup$
I struggled for years to understand category theory until I met Goldblatt's book; then the struggle was over.
$endgroup$
– MJD
Mar 11 '14 at 0:23
add a comment |
$begingroup$
The first few chapters of Goldblatt's Topoi: the categorial analysis of logic provide another fairly elementary introduction to the basics of category theory.
$endgroup$
The first few chapters of Goldblatt's Topoi: the categorial analysis of logic provide another fairly elementary introduction to the basics of category theory.
edited Jun 7 '13 at 10:34
community wiki
2 revs, 2 users 86%
mathphysicist
3
$begingroup$
Goldblatt's book (which is very beautifully written, by the way) is available online in its entirety here.
$endgroup$
– Hans Lundmark
Aug 23 '10 at 6:51
1
$begingroup$
I struggled for years to understand category theory until I met Goldblatt's book; then the struggle was over.
$endgroup$
– MJD
Mar 11 '14 at 0:23
add a comment |
3
$begingroup$
Goldblatt's book (which is very beautifully written, by the way) is available online in its entirety here.
$endgroup$
– Hans Lundmark
Aug 23 '10 at 6:51
1
$begingroup$
I struggled for years to understand category theory until I met Goldblatt's book; then the struggle was over.
$endgroup$
– MJD
Mar 11 '14 at 0:23
3
3
$begingroup$
Goldblatt's book (which is very beautifully written, by the way) is available online in its entirety here.
$endgroup$
– Hans Lundmark
Aug 23 '10 at 6:51
$begingroup$
Goldblatt's book (which is very beautifully written, by the way) is available online in its entirety here.
$endgroup$
– Hans Lundmark
Aug 23 '10 at 6:51
1
1
$begingroup$
I struggled for years to understand category theory until I met Goldblatt's book; then the struggle was over.
$endgroup$
– MJD
Mar 11 '14 at 0:23
$begingroup$
I struggled for years to understand category theory until I met Goldblatt's book; then the struggle was over.
$endgroup$
– MJD
Mar 11 '14 at 0:23
add a comment |
$begingroup$
Paolo Aluffi, Algebra: Chapter 0 has category theory woven all through it, particularly in Chapter IX of course. I can tell that randomly sampled pieces of the text are well-written, although I have never systematically read longer parts of it.
$endgroup$
2
$begingroup$
I have gone through this book very carefully. It is indeed an excellent algebra book, but the last chapter is not very good.
$endgroup$
– Hui Yu
Apr 30 '13 at 6:49
add a comment |
$begingroup$
Paolo Aluffi, Algebra: Chapter 0 has category theory woven all through it, particularly in Chapter IX of course. I can tell that randomly sampled pieces of the text are well-written, although I have never systematically read longer parts of it.
$endgroup$
2
$begingroup$
I have gone through this book very carefully. It is indeed an excellent algebra book, but the last chapter is not very good.
$endgroup$
– Hui Yu
Apr 30 '13 at 6:49
add a comment |
$begingroup$
Paolo Aluffi, Algebra: Chapter 0 has category theory woven all through it, particularly in Chapter IX of course. I can tell that randomly sampled pieces of the text are well-written, although I have never systematically read longer parts of it.
$endgroup$
Paolo Aluffi, Algebra: Chapter 0 has category theory woven all through it, particularly in Chapter IX of course. I can tell that randomly sampled pieces of the text are well-written, although I have never systematically read longer parts of it.
edited Dec 11 '14 at 17:46
community wiki
2 revs, 2 users 86%
darij grinberg
2
$begingroup$
I have gone through this book very carefully. It is indeed an excellent algebra book, but the last chapter is not very good.
$endgroup$
– Hui Yu
Apr 30 '13 at 6:49
add a comment |
2
$begingroup$
I have gone through this book very carefully. It is indeed an excellent algebra book, but the last chapter is not very good.
$endgroup$
– Hui Yu
Apr 30 '13 at 6:49
2
2
$begingroup$
I have gone through this book very carefully. It is indeed an excellent algebra book, but the last chapter is not very good.
$endgroup$
– Hui Yu
Apr 30 '13 at 6:49
$begingroup$
I have gone through this book very carefully. It is indeed an excellent algebra book, but the last chapter is not very good.
$endgroup$
– Hui Yu
Apr 30 '13 at 6:49
add a comment |
$begingroup$
As a young student, I enjoyed Peter Freyd's fun little book on abelian categories (available online as a TAC Reprint). The nice thing about Freyd's book is it isn't boring, and it has little pieces of wisdom (opinion) such as the remark that categories are not really important, you just define them so you can define functors. And in fact you just define functors so you can define natural transformations, the really interesting things.
Of course you may disagree, but blunt debatable assertions (like this one) always make for more interesting reading. Another provocative remark by this author is the observation that he himself seldom learnt math by reading books, but rather by talking to people.
From the nice link above I learned that Goldblatt also quotes a remark (which may have inspired Freyd's) by Eilenberg and Maclane that categories are entirely secondary to functors and natural transformations, on page 194 where he introduces these latter concepts.
Leinster's notes linked by Patrick, look nice - a bit like an introduction to Maclane's Categories for the working mathematician, chatty and full of debatable assertions, (many of which I disagree with, but enjoy thinking about). He does not give much credit, but I believe the adjoint functor theorems he quotes without proof, (GAFT,...) may be due to Freyd. Leinster's notes are easy reading and informative.
$endgroup$
2
$begingroup$
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
$endgroup$
– Uday Reddy
Dec 7 '13 at 18:44
add a comment |
$begingroup$
As a young student, I enjoyed Peter Freyd's fun little book on abelian categories (available online as a TAC Reprint). The nice thing about Freyd's book is it isn't boring, and it has little pieces of wisdom (opinion) such as the remark that categories are not really important, you just define them so you can define functors. And in fact you just define functors so you can define natural transformations, the really interesting things.
Of course you may disagree, but blunt debatable assertions (like this one) always make for more interesting reading. Another provocative remark by this author is the observation that he himself seldom learnt math by reading books, but rather by talking to people.
From the nice link above I learned that Goldblatt also quotes a remark (which may have inspired Freyd's) by Eilenberg and Maclane that categories are entirely secondary to functors and natural transformations, on page 194 where he introduces these latter concepts.
Leinster's notes linked by Patrick, look nice - a bit like an introduction to Maclane's Categories for the working mathematician, chatty and full of debatable assertions, (many of which I disagree with, but enjoy thinking about). He does not give much credit, but I believe the adjoint functor theorems he quotes without proof, (GAFT,...) may be due to Freyd. Leinster's notes are easy reading and informative.
$endgroup$
2
$begingroup$
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
$endgroup$
– Uday Reddy
Dec 7 '13 at 18:44
add a comment |
$begingroup$
As a young student, I enjoyed Peter Freyd's fun little book on abelian categories (available online as a TAC Reprint). The nice thing about Freyd's book is it isn't boring, and it has little pieces of wisdom (opinion) such as the remark that categories are not really important, you just define them so you can define functors. And in fact you just define functors so you can define natural transformations, the really interesting things.
Of course you may disagree, but blunt debatable assertions (like this one) always make for more interesting reading. Another provocative remark by this author is the observation that he himself seldom learnt math by reading books, but rather by talking to people.
From the nice link above I learned that Goldblatt also quotes a remark (which may have inspired Freyd's) by Eilenberg and Maclane that categories are entirely secondary to functors and natural transformations, on page 194 where he introduces these latter concepts.
Leinster's notes linked by Patrick, look nice - a bit like an introduction to Maclane's Categories for the working mathematician, chatty and full of debatable assertions, (many of which I disagree with, but enjoy thinking about). He does not give much credit, but I believe the adjoint functor theorems he quotes without proof, (GAFT,...) may be due to Freyd. Leinster's notes are easy reading and informative.
$endgroup$
As a young student, I enjoyed Peter Freyd's fun little book on abelian categories (available online as a TAC Reprint). The nice thing about Freyd's book is it isn't boring, and it has little pieces of wisdom (opinion) such as the remark that categories are not really important, you just define them so you can define functors. And in fact you just define functors so you can define natural transformations, the really interesting things.
Of course you may disagree, but blunt debatable assertions (like this one) always make for more interesting reading. Another provocative remark by this author is the observation that he himself seldom learnt math by reading books, but rather by talking to people.
From the nice link above I learned that Goldblatt also quotes a remark (which may have inspired Freyd's) by Eilenberg and Maclane that categories are entirely secondary to functors and natural transformations, on page 194 where he introduces these latter concepts.
Leinster's notes linked by Patrick, look nice - a bit like an introduction to Maclane's Categories for the working mathematician, chatty and full of debatable assertions, (many of which I disagree with, but enjoy thinking about). He does not give much credit, but I believe the adjoint functor theorems he quotes without proof, (GAFT,...) may be due to Freyd. Leinster's notes are easy reading and informative.
edited Nov 15 '17 at 9:53
community wiki
5 revs, 2 users 71%
roy smith
2
$begingroup$
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
$endgroup$
– Uday Reddy
Dec 7 '13 at 18:44
add a comment |
2
$begingroup$
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
$endgroup$
– Uday Reddy
Dec 7 '13 at 18:44
2
2
$begingroup$
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
$endgroup$
– Uday Reddy
Dec 7 '13 at 18:44
$begingroup$
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
$endgroup$
– Uday Reddy
Dec 7 '13 at 18:44
add a comment |
$begingroup$
I've read a fair amount of Sets for Mathematics and found it to be a gentle introduction.
http://www.amazon.com/Sets-Mathematics-F-William-Lawvere/dp/0521010608/ref=pd_sim_b_5
$endgroup$
add a comment |
$begingroup$
I've read a fair amount of Sets for Mathematics and found it to be a gentle introduction.
http://www.amazon.com/Sets-Mathematics-F-William-Lawvere/dp/0521010608/ref=pd_sim_b_5
$endgroup$
add a comment |
$begingroup$
I've read a fair amount of Sets for Mathematics and found it to be a gentle introduction.
http://www.amazon.com/Sets-Mathematics-F-William-Lawvere/dp/0521010608/ref=pd_sim_b_5
$endgroup$
I've read a fair amount of Sets for Mathematics and found it to be a gentle introduction.
http://www.amazon.com/Sets-Mathematics-F-William-Lawvere/dp/0521010608/ref=pd_sim_b_5
answered Jul 24 '10 at 20:40
community wiki
Jonathan Fischoff
add a comment |
add a comment |
$begingroup$
Emily Riehl's recently published book Category theory in context is a fantastic introductory text for those interested in seeing lots of examples of where category theory arises in various mathematical disciplines. Understand the examples from other branches of mathematics requires some mathematical maturity (e.g., a bit of exposure to algebra and topology), but these examples aren't strictly necessary to understand the category theory; even the less advanced reader should have no problem understanding the categorical content of the text. It stresses the importance of representability, an understanding of which is crucial if the reader wants to go on to learn about $ 2 $-categories in the future. It's elegantly written, well-motivated, uses very clear notation, and overall is refreshingly clear in its exposition.
The current version of the text is available at http://www.math.jhu.edu/~eriehl/context.pdf and errata in the published version are being updated. The text is new, so it's not as well-known as other texts, but it's so well-written that it seems very likely that it will soon become a mainstay in the world of category theory texts.
9 July 2017 Edit. Updated the link to the text.
$endgroup$
add a comment |
$begingroup$
Emily Riehl's recently published book Category theory in context is a fantastic introductory text for those interested in seeing lots of examples of where category theory arises in various mathematical disciplines. Understand the examples from other branches of mathematics requires some mathematical maturity (e.g., a bit of exposure to algebra and topology), but these examples aren't strictly necessary to understand the category theory; even the less advanced reader should have no problem understanding the categorical content of the text. It stresses the importance of representability, an understanding of which is crucial if the reader wants to go on to learn about $ 2 $-categories in the future. It's elegantly written, well-motivated, uses very clear notation, and overall is refreshingly clear in its exposition.
The current version of the text is available at http://www.math.jhu.edu/~eriehl/context.pdf and errata in the published version are being updated. The text is new, so it's not as well-known as other texts, but it's so well-written that it seems very likely that it will soon become a mainstay in the world of category theory texts.
9 July 2017 Edit. Updated the link to the text.
$endgroup$
add a comment |
$begingroup$
Emily Riehl's recently published book Category theory in context is a fantastic introductory text for those interested in seeing lots of examples of where category theory arises in various mathematical disciplines. Understand the examples from other branches of mathematics requires some mathematical maturity (e.g., a bit of exposure to algebra and topology), but these examples aren't strictly necessary to understand the category theory; even the less advanced reader should have no problem understanding the categorical content of the text. It stresses the importance of representability, an understanding of which is crucial if the reader wants to go on to learn about $ 2 $-categories in the future. It's elegantly written, well-motivated, uses very clear notation, and overall is refreshingly clear in its exposition.
The current version of the text is available at http://www.math.jhu.edu/~eriehl/context.pdf and errata in the published version are being updated. The text is new, so it's not as well-known as other texts, but it's so well-written that it seems very likely that it will soon become a mainstay in the world of category theory texts.
9 July 2017 Edit. Updated the link to the text.
$endgroup$
Emily Riehl's recently published book Category theory in context is a fantastic introductory text for those interested in seeing lots of examples of where category theory arises in various mathematical disciplines. Understand the examples from other branches of mathematics requires some mathematical maturity (e.g., a bit of exposure to algebra and topology), but these examples aren't strictly necessary to understand the category theory; even the less advanced reader should have no problem understanding the categorical content of the text. It stresses the importance of representability, an understanding of which is crucial if the reader wants to go on to learn about $ 2 $-categories in the future. It's elegantly written, well-motivated, uses very clear notation, and overall is refreshingly clear in its exposition.
The current version of the text is available at http://www.math.jhu.edu/~eriehl/context.pdf and errata in the published version are being updated. The text is new, so it's not as well-known as other texts, but it's so well-written that it seems very likely that it will soon become a mainstay in the world of category theory texts.
9 July 2017 Edit. Updated the link to the text.
edited Jul 9 '17 at 21:19
community wiki
6 revs
Peter Haine
add a comment |
add a comment |
$begingroup$
Arbib, Arrows, Structures, and Functors: The Categorical Imperative
More elementary than MacLane.
I don't know very much about this, but some stripes of computer scientist have taken an interest in category theory recently, and there are lecture notes floating around with that orientation.
$endgroup$
add a comment |
$begingroup$
Arbib, Arrows, Structures, and Functors: The Categorical Imperative
More elementary than MacLane.
I don't know very much about this, but some stripes of computer scientist have taken an interest in category theory recently, and there are lecture notes floating around with that orientation.
$endgroup$
add a comment |
$begingroup$
Arbib, Arrows, Structures, and Functors: The Categorical Imperative
More elementary than MacLane.
I don't know very much about this, but some stripes of computer scientist have taken an interest in category theory recently, and there are lecture notes floating around with that orientation.
$endgroup$
Arbib, Arrows, Structures, and Functors: The Categorical Imperative
More elementary than MacLane.
I don't know very much about this, but some stripes of computer scientist have taken an interest in category theory recently, and there are lecture notes floating around with that orientation.
answered Jul 21 '10 at 20:35
community wiki
Jamie Banks
add a comment |
add a comment |
$begingroup$
Wikipedia has some nice free texts linked at the bottom. There's an online version of Abstract and Concrete Categories, for example.
Steve Awodey has some lecture notes available online too. (Awodey's newish book is expensive, but probably rather good)
Patrick Schultz's answer, and BBischoff's comment on an earlier answer also have good links to freely available resources.
$endgroup$
add a comment |
$begingroup$
Wikipedia has some nice free texts linked at the bottom. There's an online version of Abstract and Concrete Categories, for example.
Steve Awodey has some lecture notes available online too. (Awodey's newish book is expensive, but probably rather good)
Patrick Schultz's answer, and BBischoff's comment on an earlier answer also have good links to freely available resources.
$endgroup$
add a comment |
$begingroup$
Wikipedia has some nice free texts linked at the bottom. There's an online version of Abstract and Concrete Categories, for example.
Steve Awodey has some lecture notes available online too. (Awodey's newish book is expensive, but probably rather good)
Patrick Schultz's answer, and BBischoff's comment on an earlier answer also have good links to freely available resources.
$endgroup$
Wikipedia has some nice free texts linked at the bottom. There's an online version of Abstract and Concrete Categories, for example.
Steve Awodey has some lecture notes available online too. (Awodey's newish book is expensive, but probably rather good)
Patrick Schultz's answer, and BBischoff's comment on an earlier answer also have good links to freely available resources.
answered Aug 4 '10 at 7:39
community wiki
Seamus
add a comment |
add a comment |
$begingroup$
MATH 4135/5135: Introduction to Category Theory by Peter Selinger
(17pp). Concise course outline. Only wish it covered more topics. Available in PS or PDF format.
http://www.mscs.dal.ca/~selinger/4135/
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications) by Francis Borceux. Rigorous. Comprehensive. This is NOT free, but you can see the contents/index/excerpts at the publisher's web site, listed below. This is a three volume set:
(v. 1) Basic Category Theory, 364pp. (ISBN-13: 9780521441780)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441780
(v. 2) Categories and Structures, 464pp. (ISBN-13: 9780521441797)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441797
(v. 3) Sheaf Theory, 544pp. (ISBN-13: 9780521441803)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441803
Reprints in Theory and Applications of Categories (TAC). This site has 18 books and articles on category theory in PDF, including several by F.W. Lawvere.
http://www.tac.mta.ca/tac/reprints/index.html
Abstract and Concrete Categories-The Joy of Cats by Jirı Adamek, Horst Herrlich, and George E. Strecker (524pp). Free PDF. Published under the GNU Free Documentation License. Mentioned already by Seamus in reference to Wikipedia's external links for Category Theory, but worth repeating, because it's very readable.
http://katmat.math.uni-bremen.de/acc
A Gentle Introduction to Category Theory (the calculational approach) by Maarten M. Fokkinga (80pp).
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
$endgroup$
add a comment |
$begingroup$
MATH 4135/5135: Introduction to Category Theory by Peter Selinger
(17pp). Concise course outline. Only wish it covered more topics. Available in PS or PDF format.
http://www.mscs.dal.ca/~selinger/4135/
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications) by Francis Borceux. Rigorous. Comprehensive. This is NOT free, but you can see the contents/index/excerpts at the publisher's web site, listed below. This is a three volume set:
(v. 1) Basic Category Theory, 364pp. (ISBN-13: 9780521441780)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441780
(v. 2) Categories and Structures, 464pp. (ISBN-13: 9780521441797)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441797
(v. 3) Sheaf Theory, 544pp. (ISBN-13: 9780521441803)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441803
Reprints in Theory and Applications of Categories (TAC). This site has 18 books and articles on category theory in PDF, including several by F.W. Lawvere.
http://www.tac.mta.ca/tac/reprints/index.html
Abstract and Concrete Categories-The Joy of Cats by Jirı Adamek, Horst Herrlich, and George E. Strecker (524pp). Free PDF. Published under the GNU Free Documentation License. Mentioned already by Seamus in reference to Wikipedia's external links for Category Theory, but worth repeating, because it's very readable.
http://katmat.math.uni-bremen.de/acc
A Gentle Introduction to Category Theory (the calculational approach) by Maarten M. Fokkinga (80pp).
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
$endgroup$
add a comment |
$begingroup$
MATH 4135/5135: Introduction to Category Theory by Peter Selinger
(17pp). Concise course outline. Only wish it covered more topics. Available in PS or PDF format.
http://www.mscs.dal.ca/~selinger/4135/
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications) by Francis Borceux. Rigorous. Comprehensive. This is NOT free, but you can see the contents/index/excerpts at the publisher's web site, listed below. This is a three volume set:
(v. 1) Basic Category Theory, 364pp. (ISBN-13: 9780521441780)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441780
(v. 2) Categories and Structures, 464pp. (ISBN-13: 9780521441797)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441797
(v. 3) Sheaf Theory, 544pp. (ISBN-13: 9780521441803)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441803
Reprints in Theory and Applications of Categories (TAC). This site has 18 books and articles on category theory in PDF, including several by F.W. Lawvere.
http://www.tac.mta.ca/tac/reprints/index.html
Abstract and Concrete Categories-The Joy of Cats by Jirı Adamek, Horst Herrlich, and George E. Strecker (524pp). Free PDF. Published under the GNU Free Documentation License. Mentioned already by Seamus in reference to Wikipedia's external links for Category Theory, but worth repeating, because it's very readable.
http://katmat.math.uni-bremen.de/acc
A Gentle Introduction to Category Theory (the calculational approach) by Maarten M. Fokkinga (80pp).
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
$endgroup$
MATH 4135/5135: Introduction to Category Theory by Peter Selinger
(17pp). Concise course outline. Only wish it covered more topics. Available in PS or PDF format.
http://www.mscs.dal.ca/~selinger/4135/
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications) by Francis Borceux. Rigorous. Comprehensive. This is NOT free, but you can see the contents/index/excerpts at the publisher's web site, listed below. This is a three volume set:
(v. 1) Basic Category Theory, 364pp. (ISBN-13: 9780521441780)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441780
(v. 2) Categories and Structures, 464pp. (ISBN-13: 9780521441797)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441797
(v. 3) Sheaf Theory, 544pp. (ISBN-13: 9780521441803)
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521441803
Reprints in Theory and Applications of Categories (TAC). This site has 18 books and articles on category theory in PDF, including several by F.W. Lawvere.
http://www.tac.mta.ca/tac/reprints/index.html
Abstract and Concrete Categories-The Joy of Cats by Jirı Adamek, Horst Herrlich, and George E. Strecker (524pp). Free PDF. Published under the GNU Free Documentation License. Mentioned already by Seamus in reference to Wikipedia's external links for Category Theory, but worth repeating, because it's very readable.
http://katmat.math.uni-bremen.de/acc
A Gentle Introduction to Category Theory (the calculational approach) by Maarten M. Fokkinga (80pp).
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
answered Oct 1 '10 at 7:15
community wiki
A. N. Other
add a comment |
add a comment |
$begingroup$
Barr and Wells, in addition to Toposes, Triples and Theories, have written Category Theory for the Computing Sciences, a comprehensive tome which goes through most of the interesting aspects of category theory with a constant explicit drive to relate everything to computer science whenever possible.
Both books are available online as TAC Reprints.
$endgroup$
add a comment |
$begingroup$
Barr and Wells, in addition to Toposes, Triples and Theories, have written Category Theory for the Computing Sciences, a comprehensive tome which goes through most of the interesting aspects of category theory with a constant explicit drive to relate everything to computer science whenever possible.
Both books are available online as TAC Reprints.
$endgroup$
add a comment |
$begingroup$
Barr and Wells, in addition to Toposes, Triples and Theories, have written Category Theory for the Computing Sciences, a comprehensive tome which goes through most of the interesting aspects of category theory with a constant explicit drive to relate everything to computer science whenever possible.
Both books are available online as TAC Reprints.
$endgroup$
Barr and Wells, in addition to Toposes, Triples and Theories, have written Category Theory for the Computing Sciences, a comprehensive tome which goes through most of the interesting aspects of category theory with a constant explicit drive to relate everything to computer science whenever possible.
Both books are available online as TAC Reprints.
edited Nov 15 '17 at 9:57
community wiki
2 revs, 2 users 71%
Arnaud D.
add a comment |
add a comment |
$begingroup$
Last year the book Basic Category Theory by Tom Leinster was published by Cambridge University Press. I think it can serve very well as an introduction to Category Theory. It covers much less than Mac Lane's Categories for a working mathematician, but motivates concepts better.
And it's also available on Arxiv.
$endgroup$
add a comment |
$begingroup$
Last year the book Basic Category Theory by Tom Leinster was published by Cambridge University Press. I think it can serve very well as an introduction to Category Theory. It covers much less than Mac Lane's Categories for a working mathematician, but motivates concepts better.
And it's also available on Arxiv.
$endgroup$
add a comment |
$begingroup$
Last year the book Basic Category Theory by Tom Leinster was published by Cambridge University Press. I think it can serve very well as an introduction to Category Theory. It covers much less than Mac Lane's Categories for a working mathematician, but motivates concepts better.
And it's also available on Arxiv.
$endgroup$
Last year the book Basic Category Theory by Tom Leinster was published by Cambridge University Press. I think it can serve very well as an introduction to Category Theory. It covers much less than Mac Lane's Categories for a working mathematician, but motivates concepts better.
And it's also available on Arxiv.
edited Jan 29 at 9:21
community wiki
2 revs, 2 users 75%
user44400
add a comment |
add a comment |
$begingroup$
First Chapter of Jacobson's Basic Algebra -II.
$endgroup$
add a comment |
$begingroup$
First Chapter of Jacobson's Basic Algebra -II.
$endgroup$
add a comment |
$begingroup$
First Chapter of Jacobson's Basic Algebra -II.
$endgroup$
First Chapter of Jacobson's Basic Algebra -II.
answered Jul 28 '10 at 17:47
community wiki
user218
add a comment |
add a comment |
$begingroup$
- Appendix of Abstract-Algebra by Dummit & Foote http://www.amazon.com/Abstract-Algebra-Edition-David-Dummit/dp/0471433349
- An introduction to Category theory by Harold Simmons http://www.amazon.com/Introduction-Category-Theory-Harold-Simmons/dp/0521283043/
- A course in Homological algebra - Hilton and Stammbach http://www.amazon.com/Course-Homological-Algebra-Graduate-Mathematics/dp/0387948236/
$endgroup$
add a comment |
$begingroup$
- Appendix of Abstract-Algebra by Dummit & Foote http://www.amazon.com/Abstract-Algebra-Edition-David-Dummit/dp/0471433349
- An introduction to Category theory by Harold Simmons http://www.amazon.com/Introduction-Category-Theory-Harold-Simmons/dp/0521283043/
- A course in Homological algebra - Hilton and Stammbach http://www.amazon.com/Course-Homological-Algebra-Graduate-Mathematics/dp/0387948236/
$endgroup$
add a comment |
$begingroup$
- Appendix of Abstract-Algebra by Dummit & Foote http://www.amazon.com/Abstract-Algebra-Edition-David-Dummit/dp/0471433349
- An introduction to Category theory by Harold Simmons http://www.amazon.com/Introduction-Category-Theory-Harold-Simmons/dp/0521283043/
- A course in Homological algebra - Hilton and Stammbach http://www.amazon.com/Course-Homological-Algebra-Graduate-Mathematics/dp/0387948236/
$endgroup$
- Appendix of Abstract-Algebra by Dummit & Foote http://www.amazon.com/Abstract-Algebra-Edition-David-Dummit/dp/0471433349
- An introduction to Category theory by Harold Simmons http://www.amazon.com/Introduction-Category-Theory-Harold-Simmons/dp/0521283043/
- A course in Homological algebra - Hilton and Stammbach http://www.amazon.com/Course-Homological-Algebra-Graduate-Mathematics/dp/0387948236/
answered Sep 12 '14 at 18:22
community wiki
user87543
add a comment |
add a comment |
$begingroup$
There's also this Category Theory for Programmers by Bartosz Milewski with the companion video lectures
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
$endgroup$
$begingroup$
really engaging video lectures with a computer programming (Haskel) bend; I'm not a mathematician but I really enjoyed them enough to look for textbooks on category theory
$endgroup$
– yosimitsu kodanuri
Sep 23 '18 at 10:03
add a comment |
$begingroup$
There's also this Category Theory for Programmers by Bartosz Milewski with the companion video lectures
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
$endgroup$
$begingroup$
really engaging video lectures with a computer programming (Haskel) bend; I'm not a mathematician but I really enjoyed them enough to look for textbooks on category theory
$endgroup$
– yosimitsu kodanuri
Sep 23 '18 at 10:03
add a comment |
$begingroup$
There's also this Category Theory for Programmers by Bartosz Milewski with the companion video lectures
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
$endgroup$
There's also this Category Theory for Programmers by Bartosz Milewski with the companion video lectures
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
answered Nov 15 '17 at 7:28
community wiki
Jeffrey04
$begingroup$
really engaging video lectures with a computer programming (Haskel) bend; I'm not a mathematician but I really enjoyed them enough to look for textbooks on category theory
$endgroup$
– yosimitsu kodanuri
Sep 23 '18 at 10:03
add a comment |
$begingroup$
really engaging video lectures with a computer programming (Haskel) bend; I'm not a mathematician but I really enjoyed them enough to look for textbooks on category theory
$endgroup$
– yosimitsu kodanuri
Sep 23 '18 at 10:03
$begingroup$
really engaging video lectures with a computer programming (Haskel) bend; I'm not a mathematician but I really enjoyed them enough to look for textbooks on category theory
$endgroup$
– yosimitsu kodanuri
Sep 23 '18 at 10:03
$begingroup$
really engaging video lectures with a computer programming (Haskel) bend; I'm not a mathematician but I really enjoyed them enough to look for textbooks on category theory
$endgroup$
– yosimitsu kodanuri
Sep 23 '18 at 10:03
add a comment |
$begingroup$
Lawvere, Rosebrugh. Sets for Mathematics.
Pierce B. C. Basic category theory for computer scientists.
José L. Fiadeiro. Categories for Software Engineering.
Martini. Elements of Basic Category Theory.
Burstall, Rydeheard. Computational category theory. Requires ML background.
$endgroup$
add a comment |
$begingroup$
Lawvere, Rosebrugh. Sets for Mathematics.
Pierce B. C. Basic category theory for computer scientists.
José L. Fiadeiro. Categories for Software Engineering.
Martini. Elements of Basic Category Theory.
Burstall, Rydeheard. Computational category theory. Requires ML background.
$endgroup$
add a comment |
$begingroup$
Lawvere, Rosebrugh. Sets for Mathematics.
Pierce B. C. Basic category theory for computer scientists.
José L. Fiadeiro. Categories for Software Engineering.
Martini. Elements of Basic Category Theory.
Burstall, Rydeheard. Computational category theory. Requires ML background.
$endgroup$
Lawvere, Rosebrugh. Sets for Mathematics.
Pierce B. C. Basic category theory for computer scientists.
José L. Fiadeiro. Categories for Software Engineering.
Martini. Elements of Basic Category Theory.
Burstall, Rydeheard. Computational category theory. Requires ML background.
answered Feb 13 '11 at 4:39
community wiki
beroal
add a comment |
add a comment |
$begingroup$
"Basic category theory"is a script by Jaap van Oosten from Utrecht university (u can find more scripts on topos theory and intuitionism there).
Advanced is Introduction in Higher order categorical logic by Lambek & Scott. The 3 vols. from Borceux aswell as Johnstone: Sketches of an elephant, 1-2 are very readable reference for looking up proofs and technical details. Toposes and local set theories by Bell is availlable in Dover prints.
$endgroup$
add a comment |
$begingroup$
"Basic category theory"is a script by Jaap van Oosten from Utrecht university (u can find more scripts on topos theory and intuitionism there).
Advanced is Introduction in Higher order categorical logic by Lambek & Scott. The 3 vols. from Borceux aswell as Johnstone: Sketches of an elephant, 1-2 are very readable reference for looking up proofs and technical details. Toposes and local set theories by Bell is availlable in Dover prints.
$endgroup$
add a comment |
$begingroup$
"Basic category theory"is a script by Jaap van Oosten from Utrecht university (u can find more scripts on topos theory and intuitionism there).
Advanced is Introduction in Higher order categorical logic by Lambek & Scott. The 3 vols. from Borceux aswell as Johnstone: Sketches of an elephant, 1-2 are very readable reference for looking up proofs and technical details. Toposes and local set theories by Bell is availlable in Dover prints.
$endgroup$
"Basic category theory"is a script by Jaap van Oosten from Utrecht university (u can find more scripts on topos theory and intuitionism there).
Advanced is Introduction in Higher order categorical logic by Lambek & Scott. The 3 vols. from Borceux aswell as Johnstone: Sketches of an elephant, 1-2 are very readable reference for looking up proofs and technical details. Toposes and local set theories by Bell is availlable in Dover prints.
edited Sep 4 '14 at 13:24
community wiki
4 revs
YonedaLemma
add a comment |
add a comment |
$begingroup$
I'm surprised that this hasn't been mentioned already.
"Category Theory: An Introduction" by Herrlich and Strecker. You can find this book in either the Allyn and Bacon Series in Advanced Mathematics or Sigma Series in Pure Mathematics.
Herrlich and Strecker co-authored another book called "Abstract and Concrete Categories: The Joy of Cats" which is not nearly as good as the former book.
$endgroup$
add a comment |
$begingroup$
I'm surprised that this hasn't been mentioned already.
"Category Theory: An Introduction" by Herrlich and Strecker. You can find this book in either the Allyn and Bacon Series in Advanced Mathematics or Sigma Series in Pure Mathematics.
Herrlich and Strecker co-authored another book called "Abstract and Concrete Categories: The Joy of Cats" which is not nearly as good as the former book.
$endgroup$
add a comment |
$begingroup$
I'm surprised that this hasn't been mentioned already.
"Category Theory: An Introduction" by Herrlich and Strecker. You can find this book in either the Allyn and Bacon Series in Advanced Mathematics or Sigma Series in Pure Mathematics.
Herrlich and Strecker co-authored another book called "Abstract and Concrete Categories: The Joy of Cats" which is not nearly as good as the former book.
$endgroup$
I'm surprised that this hasn't been mentioned already.
"Category Theory: An Introduction" by Herrlich and Strecker. You can find this book in either the Allyn and Bacon Series in Advanced Mathematics or Sigma Series in Pure Mathematics.
Herrlich and Strecker co-authored another book called "Abstract and Concrete Categories: The Joy of Cats" which is not nearly as good as the former book.
answered Oct 25 '14 at 22:47
community wiki
Robert Wolfe
add a comment |
add a comment |
$begingroup$
"Algebra:Rings Modules and Categories" by Carl Faith has alot about category theory,which dos'nt need any topology to understand,but is mixed with all the stuff about algebra,which is also writen in a catigorcal way.
$endgroup$
add a comment |
$begingroup$
"Algebra:Rings Modules and Categories" by Carl Faith has alot about category theory,which dos'nt need any topology to understand,but is mixed with all the stuff about algebra,which is also writen in a catigorcal way.
$endgroup$
add a comment |
$begingroup$
"Algebra:Rings Modules and Categories" by Carl Faith has alot about category theory,which dos'nt need any topology to understand,but is mixed with all the stuff about algebra,which is also writen in a catigorcal way.
$endgroup$
"Algebra:Rings Modules and Categories" by Carl Faith has alot about category theory,which dos'nt need any topology to understand,but is mixed with all the stuff about algebra,which is also writen in a catigorcal way.
answered Oct 25 '14 at 22:36
community wiki
user160823
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f370%2fgood-books-and-lecture-notes-about-category-theory%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
16
$begingroup$
Community wiki?
$endgroup$
– Akhil Mathew
Jul 21 '10 at 20:23
6
$begingroup$
I can give you an "anti-recommendation": don't get Cameron's "Sets, Logic and Categories". While it's a nice short introduction to some set theory and logic, the final chapter on category theory is too short and not at all well explained. It is however a neat little book for logic and sets...
$endgroup$
– Seamus
Aug 3 '10 at 13:11
8
$begingroup$
Best with respect to what metric...and for whom? This is a very fuzzy question.
$endgroup$
– Pete L. Clark
Feb 13 '11 at 7:03
2
$begingroup$
Programmating Reading Guide by Stanford Encyclopedia of Philosophy. It is a supplement to this article.
$endgroup$
– M. Vinay
Mar 9 '16 at 8:39