I was wondering about "Conceptual Mathematics: A First Introduction to
Categories". There are also titles like "Categories, Types, and
Structures: An Introduction to Category Theory for the Working
Computer Scientist", "An Introduction to Category Theory" and "Basic
Category Theory for Computer Scientists". Even my local library seems
to have a couple that I'll check out. Does anyone have any thoughts
or suggestions?
-- Mark
Fun, interesting, but coverage is idiosyncratic to say the
least: introduces topoi, doesn't even define adjoints,
and mentions functors only in the fleetest passing. I would
charactize it as categories "in the high aesthetic line".
> There are also titles like "Categories, Types, and
> Structures: An Introduction to Category Theory for the Working
> Computer Scientist", "An Introduction to Category Theory" and "Basic
> Category Theory for Computer Scientists".
I'm working through "Basic Category Theory" (Pierce) but in the
general spirit of Lawvere ("Conceptual Mathematics"). Pierce is
concise but pretty much covers what the title implies: enough
(and the right) topics so that you can grok the category theory
that underlies various areas/approaches in CS. Under 100 pages,
plenty of exercises.
Ah, right. Yes, I was most surprised to see that it doesn't even
mention what monads are, given that the blurb on the back mentions
computer scientists.
(snip)
>I'm working through "Basic Category Theory" (Pierce) but in the
>general spirit of Lawvere ("Conceptual Mathematics"). Pierce is
>concise but pretty much covers what the title implies: enough
>(and the right) topics so that you can grok the category theory
>that underlies various areas/approaches in CS. Under 100 pages,
>plenty of exercises.
Yes, he's indeed concise. What I really want is a book with the topics
that Pierce covers, covered as gently as Lawvere and Schanuel cover
things. Maybe I'm just a wimp. (-:
Thanks very much!
-- Mark