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

@article{Hosseini2022QuotientsOS,
title={Quotients of span categories that are allegories and the representation of regular categories},
author={S. N. Hosseini and Amir R. Shir Ali Nasab and Walter Tholen and Leila Yeganeh},
journal={ArXiv},
year={2022},
volume={abs/2112.04599}
}

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 a general criterion for a quotient of Span(C) to be an allegory. In particular, when C carries a pullback-stable, but not necessarily proper, (E ,M)factorization system, we establish a quotient category SpanE(C) that is isomorphic to the category RelM(C) ofM-relations in C, and show that it is a (unitary and tabular… Expand

We use quotients of span categories to introduce the language of a topos. We also study the logical relations and the quotients of span categories derived from them. As an application we show that… Expand

This thesis investigates relations over a category C relative to an (E;M)-factorization system of C. In order to establish the 2-categoryRel(C) of relations over C in the rst part we discuss su cient… Expand

In this paper, we study relations in general categories. Our approach requires that these must have finite products and factorization systems. Klein [5] has obtained a condition for composition of… Expand

It is shown that under the assumptions, the categories of relations on functional and induced relations are isomorphic to the category of relations for the given category.Expand

Category theory is the key to a clear presentation of modern abstract "Basic Category Theory for Computer Scientists" by Benjamin C. Pierce (1991). "Handbook of Categorical Algebra" by Francis… Expand