What we're about

A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming.

Some basic knowledge is desired.

Google group BACAT is migrating here: https://groups.google.com/forum/?fromgroups#!forum/bacat

Discord server: https://discord.gg/

Youtube channel: https://www.youtube.com/channel/UCNcyQSjtnPokHlm-hUIxYbw

Past events (56)

Valeria de Paiva, Dialectica Categories

Online event

Topologies in Intuitionistic Logic (with code)

Online event

Gershom Bazerman, Dependency Structures, Concurrency, Topology...

220, Alumni Science Hall, Santa Clara University

Photos (2)