A series of two courses I taught intermittently between 2005 and 2013, as an optional part of the bachelor and master study programs in Logic at Charles University in Prague, Faculty of Philosophy and Arts:
An introductory course in category theory for logicians I taught in 2005, 2007, 2009, and 2013. Besides basic categorial notions and constructions, the syllabus included examples of categories occurring in logic and the basics of the metamathematics of category theory.
A follow-up course in category theory for logicians, which I taught in 2008 and 2010. The course focused on the categorial reconstruction of central notions of formal logic and categorial foundations of mathematics. The syllabus included: Cartesian-closed categories, elementary topoi and their inner logic, Lawvere's axiomatization of the category of sets, and McLarty's axiomatization of the category of categories.