Log in with Facebook to find out who you know in this Meetup.
"Freelance full stack engineer interested in linear temporal logic."
"Long interest in category theory. Already know some of you."
"Just a hobbyist Haskeller interested in Category Theory as it relates to type theory and proof theory."
"Recently got interested in the Oregon Programming Languages Summer School lectures http://www.cs.uoregon.edu/research/summerschool/summer13/ and the HoTT Book http:/..."
"My name is Gottfried.
I m mathematician and informatician
did PhD study on category theory"
"Engineer in south bay"
"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
5,596 ML Coders
3,796 Members and Guests
12,825 Hackers / Founders
Meetup members, Log in