Regular category

Regular logic is the fragment of first-order logic that can express statements of the form