Minutes for May 2011 meeting.

[Jason Dusek]

Attendees: ≥7

Topics:
- Larry Diehl and Jason Dusek presented on category basics,
working from Thorsten Altenkirch's slides:
- A simple presentation of categories in terms of directed
graphs.
- The monoid, the category of monoids and the category of
a monoid.
- Monoid homomorphisms as functors between monoids.
- Functors in a mock functional programming language.
- The nature of the object part and the arrow part of a
functor.
- Functors in Haskell.
- After the presentation, people talked about:
- Why category theory? We discussed the pros and cons of
drawing from mathematics for design patterns.
- History of category theory and the basis for some of
the terminology.

Thank you all for attending.

--
Jason Dusek
()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments