# 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**: Logic, Seminars, Pure Mathematics**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*