Bay Area Categories And Types


A seminar dedicated to studying and discussing applied category theory (with inroads to type theory, category logic, analytical functor derivatives).
Some basic knowledge is desired.


English (United States)


Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post
Invited users
can join group