Main menu:

Site search

Categories

Archive

Archive for March, 2010

Category Theory

Last night I stopped by a meeting of the Bay Area Categories and Types group at Noisebridge in the Mission District of San Francisco. They’re using a text from Barr and Wells (which will be arriving soon). It’s nice to have the ability to continue exploring abstract concepts with a group.
I’ve been bumping […]