Log in with Facebook to find out who you know in this Meetup.
"decentralization enthusiast/ firefighter/gourmet waffle chef"
"Interested in math, primarily category theory. Software engineer."
"A theoretical physicist turned software engineer. Mathematics is one of my passions."
"I did categorical models of linear logic (Dialectica categories) for my phd thesis. I work in the intersection between category theory, type theory and logic."
"I am a mathematician and software engineer."
Help support your Meetup
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
8,759 Data Bees
3,220 Linux engineers
Meetup members, Log in