addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

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!

  • There are no suggested Meetups

    But there is 1 upcoming Meetup!

    Check them out

Recent Meetups

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