Regular Categories and Regular Logic
- Date: Monday 24 April 2017, 14:00 – 15:30
- Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
- Type: Pure Mathematics seminars, Seminar series, Postgraduate logic seminars
- Cost: Free
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