Diary Entry: 2009-05-13 00:00:00 - 2009-05-13 00:00:00

Group meeting where Markus give an introduction to category theory via the institution of propositional logic.