[formal-methods] Fwd: [RM] category theory

[Geoff Schmidt]

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>