Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Bay Area Categories And Types
Conversations
About
Bay Area Categories And Types
bacat@googlegroups.com
Description
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.
Language
English (United States)
Privacy
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