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

Discord server: https://discord.gg/

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

Past events (56)

See all
Davide Trotta, "The existential completion, choice principles and applications"
Davide Trotta, "The existential completion, choice principles and applications"

Online event

  • Vlad P.Vlad P.
  • Adam G.Adam G.
  • Andreas R.Andreas R.
  • 16 attendees
Valeria de Paiva, Dialectica Categories
Valeria de Paiva, Dialectica Categories

Online event

  • Vlad P.Vlad P.
  • Aleksandar B.Aleksandar B.
  • Alex
  • 25 attendees
Topologies in Intuitionistic Logic (with code)
Topologies in Intuitionistic Logic (with code)

Online event

  • Vlad P.Vlad P.
  • Alex
  • Arulselvan M.
  • 21 attendees
Gershom Bazerman, Dependency Structures, Concurrency, Topology...
Gershom Bazerman, Dependency Structures, Concurrency, Topology...

220, Alumni Science Hall, Santa Clara University

  • Vlad P.Vlad P.
  • Adam G.Adam G.
  • Alexei Eleusis Díaz V.Alexei Eleusis Díaz V.
  • 8 attendees

Photos (2)

See all

Organizers

Vlad P.Vlad P.
Vlad P.

and 2 others

Message

Members (458)

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

LogicCategory TheoryFunctional Programming_Type_ TheoryFunctors and Monads