[formal-methods] Fwd: [RM] category theory
Geoff Schmidt
geoff at geoffschmidt.com
Mon Jun 15 02:42:18 UTC 2009
Hey guys, if you're interested, my friend Jay had some additional
recommendations for readings. See his message below.
The Mazur article he mentions can be found here:
http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf
Should anyone want to get in touch with Jay, I'm happy to introduce.
geoff
Begin forwarded message:
> From: Jay <elided>
> Date: June 14, 2009 10:19:18 AM PDT
> To: "geoff at geoffschmidt.com" <geoff at geoffschmidt.com>
> Subject: Re: [RM] category theory
>
> Hey,
>
> A few more recommendations (never hurts?):
> Mazur's article "When is one thing equal to another thing?" is
> entirely elementary and gets to one or two of the most key points of
> categories, in only a matter of pages.
> Lawvere's "Sets for Mathematics" is a great way to continue from
> Mazur's article into practicing thinking about sets in the
> categorical language. (Some of the exercises, although elementary,
> can be very tricky! Try not to sweat them too much.)
> Mac Lane's "Categories for the working mathematician" is the
> canonical introductory text. It is superbly written, if perhaps at
> a more technically advanced level, and provides thorough topic
> coverage. Perhaps consider it as a backup/reference?
>
> Cheers,
>
> Jay
> ---
>
> Jonathan Pottharst
> http://www2.bc.edu/~potthars
>
> On Jun 13, 2009, at 11:39 PM, Geoff Schmidt <geoff at geoffschmidt.com>
> wrote:
>
>> My friend Jason Dusek is starting a category theory study group.
>> The plan seems to be to read a basic text on category theory and
>> meet weekly at Noisebridge on Sunday afternoons. I know nothing
>> whatsoever about category theory but it sounds fun.
>>
>> I can send you a pdf of the text, Conceptual Mathematics. It is
>> extremely approachable.. junior high algebra should be enough.
>>
>> geoff
>>
>> Begin forwarded message:
>>
>>> From: Jason Dusek <jason.dusek at gmail.com>
>>> Date: June 11, 2009 11:08:57 PM PDT
>>> To: haschool at lists.noisebridge.net, formal-methods at lists.noisebridge.net
>>> , Noisebridge Discuss <noisebridge-discuss at lists.noisebridge.net>
>>> Subject: [Noisebridge-discuss] Category Theory Readings
>>>
>>> I and a couple of other people are gathering on Sundays, at
>>> 14:00, to work through "Conceptual Mathematics", by F. William
>>> Lawvere and Stephen Hoel Schanuel; others are welcome to join.
>>>
>>> Along with this reading group, we have a new mailing list to
>>> coordinate those of us interested in lambda calculus, type
>>> theory, distributed systems proofs and other formal methods in
>>> computer science. It's called:
>>>
>>> formal-methods at lists.noisebridge.net
>>>
>>> Please subscribe if you would like to do readings and work
>>> problems in these topics; I'd like to organize groups for the
>>> other topics, as well.
>>>
>>> --
>>> Jason Dusek
>>> _______________________________________________
>>> Noisebridge-discuss mailing list
>>> Noisebridge-discuss at lists.noisebridge.net
>>> https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss
>>
>>
>> --~--~---------~--~----~------------~-------~--~----~
>> ragingmadness at googlegroups.com
>> -~----------~----~----~----~------~----~------~--~---
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.noisebridge.net/pipermail/formal-methods/attachments/20090614/a7c1696b/attachment-0002.html>
More information about the formal-methods
mailing list