Study Category Theory

http://photos2.meetupstatic.com/photos/event/5/1/b/0/event_115340912.jpeg

Welcome!

We will begin studying our first book, An Introduction to Category Theory (http://www.amazon.com/Introduction-Category-Theory-Harold-Simmons/dp/0521283043) by Harold Simmons. Categories were developed in the 1940s as a general language for describing diverse phenomena in mathematics. They have subsequently been applied in programming language design and semantics. This broad and beautiful subject forms a natural place to begin our journey.

What to bring

Your own copy of the book A notebook and pen/pencil

Required reading

For best collaboration we ask that you come prepared.