Category Theory and Applications

Due to the overwhelming response to our first kick-off event, our friends at Uber have graciously agreed to provide space for a second kick-off event! During this event, we will poll the community to put together a plan for a lecture series and deliver the first (audience interactive) lecture! Besides a pure intro to CT, possible topics include: - Algebraic property graphs (a use of CT for graph data at Uber) - CT and databases - CT and Haskell There will be pizza and drinks!

The categorical data (https://www.categoricaldata.net) and applied category theory (http://www.appliedcategorytheory.org) communities are expanding to San Francisco. This introductory meetup is designed to give both an introduction to category theory and to gather feedback about what future events should be like. Also free monadic burritos.

The categorical data (https://www.categoricaldata.net) and applied category theory (http://www.appliedcategorytheory.org) communities are expanding to San Francisco. This introductory meetup is designed to give both an introduction to category theory and to gather feedback about what future events should be like. Also free monadic burritos.

The categorical data (https://www.categoricaldata.net) and applied category theory (http://www.appliedcategorytheory.org) communities are expanding to San Francisco. This introductory meetup is designed to give both an introduction to category theory and to gather feedback about what future events should be like. Also free monadic burritos.