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

Welcome!

Recent Meetups

What's new

 
Founded Aug 27, 2012

Help support your Meetup

Chip in

People in this
Meetup are also in:

Create your own Meetup Group

Get started Learn more
Allison

Meetup has allowed me to meet people I wouldn't have met naturally - they're totally different than me.

Allison, started Women's Adventure Travel

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