Vlad Patryshev on Intuitionistic Logic in Scala, Part I: Groethendieck Toposes

This is the first of two talks in which Vlad Patryshev will show us implementation of category theory in Scala. From Vlad:

I've been working for many years on implementing intuitionistic logic; currently I use Scala for that purpose. The logic of Grothendieck toposes over small categories can be used for various models, like TLA+, or database logic. Examples of code and logics included.

We'll post the link to the meeting on this page shortly before the scheduled start of the meeting.