Quotients of span categories that are allegories and the representation of regular categories

S. Naser Hosseini, Amir R. Shir Ali Nasab, Walter Tholen +1

We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give…