Jure Taslak: Regular logic and regular categories

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.