Bay Area Categories And Types
Contact owners and managers
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.
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