Introdução à Lógica Categórica

Universidade de São Paulo

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.

Follow this website

You need to create an Owlstown account to follow this website.

Sign up

Already an Owlstown member?

Log in