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

[Mikael Vejdemo-Johansson]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Also in way of recommendations; the book I'll be basing my course on  
will be Barr & Wells: Category Theory for Computing Sciences.

// Mikael

On Jun 15, 2009, at 4:42 AM, Geoff Schmidt wrote:
> 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
>>> -~----------~----~----~----~------~----~------~--~---
>
>
> _______________________________________________
> formal-methods mailing list
> formal-methods at lists.noisebridge.net
> https://www.noisebridge.net/mailman/listinfo/formal-methods

Mikael Vejdemo-Johansson, Dr.rer.nat
Postdoctoral researcher
mik at math.stanford.edu






-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)

iEYEARECAAYFAko19FEACgkQtUmpDMB8zM018QCeIck4njBM9c8kGHrbRNLSJJSj
t5kAn2gTTYlYEBwwJloww+iyBAE2Ehuy
=KER/
-----END PGP SIGNATURE-----