I recently gave a talk about the main points of my MFPS ’12 paper. The title of the talk was *Categorical Models for Two Intuitionistic Modal Logics*. Continue reading

# Monthly Archives: May 2012

# Category theory crash course

I recently gave an introduction to category theory at the Institute of Cybernetics. This crash course introduced several of the basic categorical notions that are of interest from a computer science and logic perspective, while assuming no previous knowledge about category theory. Everything necessary to understand my upcoming talk about categorical models of modal logics was covered. Continue reading