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… 
1 Citations
Representing the language of a topos as quotient of the category of spans
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

References

SHOWING 1-10 OF 19 REFERENCES
Relations in categories
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
On Bicategories of Relations and Pullback Spans
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
Categories of Relations and Functional Relations
TLDR
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.
Handbook Of Categorical Algebra 1 Basic Category Theory
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
Sketches of an Elephant: A Topos Theory Compendium Volume 1
Categories, allegories
Introduction to bicategories
...
...