Regular Categories and Regular Logic

Jakob Vidmar, University of Leeds. Part of the postgraduate logic seminar series.

This talk will present Carsten Butz’s notes entitled “Regular Categories and Regular Logic”

A regular category is a category with finite limits and a good notion of image factorisations. Their internal logic is called “regular logic” — a many sorted logic, with only truth, conjunction and existential quantification. Because of their simplicity they serve as a good introduction to the field of categorical logic.

Jakob Vidmar, University of Leeds