ACT2018: Jamie Vicary, Christina Vasilakopoulou, Spencer Breiner

ACT2018: Jamie Vicary, Christina Vasilakopoulou, Spencer Breiner

Jamie Vicary, A type theory for strictly unital infinity-categoriesSee more

Jamie Vicary, A type theory for strictly unital infinity-categories

christina gangmanSee more

christina gangman

Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theorySee more

Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theory

Christina Vasilakopoulou, Oplax Hopf AlgebrasSee more

Christina Vasilakopoulou, Oplax Hopf Algebras

Jamie Vicary: "Categorical syntax for concurrency"See more

Jamie Vicary: 'Categorical syntax for concurrency'

The Infinitesimal Monad - NumberphileSee more

The Infinitesimal Monad - Numberphile

Category Theory: Visual Mathematics for the 21st centurySee more

Category Theory: Visual Mathematics for the 21st century

ACT@UCR Seminar: Systems as Wiring Diagram Algebras - Christina VasilakopoulouSee more

ACT@UCR Seminar: Systems as Wiring Diagram Algebras - Christina Vasilakopoulou

Events