Bay Area Categories And Types

Organized by Vlad P.

and 2 others

Share:
Join this group

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)

See all
Valeria de Paiva, "Dialectica Categories and Petri Nets"
Valeria de Paiva, "Dialectica Categories and Petri Nets"

220, Alumni Science Hall, Santa Clara University

  • Vlad P.Vlad P.
  • David K.David K.
  • John W.John W.
  • 8 attendees
Vlad Patryshev, "Calculating Intuitionistic Logic in Scala"
Vlad Patryshev, "Calculating Intuitionistic Logic in Scala"

220, Alumni Science Hall, Santa Clara University

  • Vlad P.Vlad P.
  • David K.David K.
  • Nick L.Nick L.
  • 3 attendees
Valeria de Paiva, "Going Without: a modality and its role"
Valeria de Paiva, "Going Without: a modality and its role"

220, Alumni Science Hall, Santa Clara University

  • Vlad P.Vlad P.
  • Adrian K.Adrian K.
  • David K.David K.
  • 10 attendees
Continue reading "Sheaves in Geometry and Logic"
Continue reading "Sheaves in Geometry and Logic"

220, Alumni Science Hall, Santa Clara University

  • Vlad P.Vlad P.
  • Nathan G.Nathan G.
  • 2 attendees

Photos (2)

See all

Organizers

Vlad P.Vlad P.
Vlad P.

and 2 others

Message

Members (419)

See all
alexander s.alexander s.
Stephen P.Stephen P.
David T.David T.
Drew R.Drew R.
Joshua S.Joshua S.
Gabriel K.Gabriel K.
Walter V.Walter V.
Eric F.Eric F.
Matthew G.Matthew G.
Fayvor L.Fayvor L.
Ivan M.
Dragisa K.Dragisa K.
Rehno L.Rehno L.
Joseph M.Joseph M.
Forest B.Forest B.

Related topics

Programming LanguagesCategory TheoryFunctional Programming_Type_ TheoryFunctors and MonadsTopos Logic