Definition 7.3 (Regular category). We say $C$ is regular if it has finite limits and images, and image factorisations are stable under pullback, i.e. if the left hand square above is a pullback then so are both right hand squares. (This is equivalent to saying that covers are stable under pullback).