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

Past events (52)

Valeria de Paiva, "Dialectica Categories and Petri Nets"

220, Alumni Science Hall, Santa Clara University

Vlad Patryshev, "Calculating Intuitionistic Logic in Scala"

220, Alumni Science Hall, Santa Clara University

Valeria de Paiva, "Going Without: a modality and its role"

220, Alumni Science Hall, Santa Clara University

Continue reading "Sheaves in Geometry and Logic"

220, Alumni Science Hall, Santa Clara University

Photos (2)