- Our group
- Meetups
- Members
- Photos
- Discussions
- More
Past Meetups (42)
- Valeria de Paiva, "Doing Time, categorically"
- Vlad P.
- Valeria De P.
- Pramod B.
- Matthew F.
- Sergei W.
- 11 went
- Vlad P.
- Intuitionistic Logic, Subschemas and Topologies
- Vlad P.
- Ian T.
- Sergey L.
- Valeria De P.
- Vlad U.
- 19 went
- Vlad P.
- Categories for Noobs - 2. Adjunctions and Limits
- Vlad P.
- Eric P.
- David T.
- Sergey L.
- Viktor K.
- 11 went
- Vlad P.
What we're about
Public Group
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
