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)