Jure Taslak: Regular logic and regular categories (part 2)
Abstract: Regular logic is a fragment of first order logic. Its logical operations consist of truth, conjunction and existential quantification. It is the internal language of regular categories. These are categories which admit a good notion of image factorization. We will discuss models of regular logic in regular categories and their properties.