This summer course was taught at the University of São Paulo in March 2022 to introduce undergraduate finalists and postgraduate students to the basics of categorical logic. Topics included regular, coherent, Heyting and cartesian closed categories, elementary toposes, categorical semantics, and a discussion of the internal language of categories.