Unilog course: Categories of logics and translations

The slides can be found here. There will be updates, so check back there after each session.