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