add-memberalign-toparrow-leftarrow-rightbellblockcalendarcamerachatchevron-leftchevron-rightchevron-small-downchevron-upcircle-with-crosscomposecrossfacebookflagfolderglobegoogleimagesinstagramkeylocation-pinmedalmoremuplabelShape 3 + Rectangle 1pagepersonpluspollsImported LayersImported LayersImported LayersshieldstartwitterwinbackClosewinbackCompletewinbackDiscountyahoo

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:!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

Founded Aug 27, 2012

Help support your Meetup

Chip in

People in this
Meetup are also in:

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