A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming.

Some basic knowledge is desired.

Google group BACAT is migrating here: https://groups.google.com/forum/?fromgroups#!forum/bacat

Join us and be the first to know when new Meetups are scheduled
Log in with Facebook to find out
By creating a Meetup account, you agree to the Terms of Service


What's new

  • Vlad Patryshev founded Bay Area Categories And Types

    on August 27

Founded Aug 27, 2012

Help support your Meetup

Chip in

People in this
Meetup are also in:

You don't have to be an expert to start your own Meetup Group

Get started Learn more

I'm surprised by the level of growth I've seen since becoming an organizer, it's given me more confidence in my abilities.

Katie, started NYC ICO

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy