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

12/08/2021
by   S. Naser Hosseini, et al.
0

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 Span_E(C) that is isomorphic to the category Rel_M(C) of M-relations in C, and show that it is a (unitary and tabular) allegory precisely when M is a class of monomorphisms in C. Without this restriction, one can still find a least pullback-stable and composition-closed class E. containing E such that Span_E.(C) is a unitary and tabular allegory. In this way one obtains a left adjoint to the 2-functor that assigns to every unitary and tabular allegory the regular category of its Lawverian maps. With the Freyd-Scedrov Representation Theorem for regular categories, we conclude that every finitely complete category with a stable factorization system has a reflection into the huge 2-category of all regular categories.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/14/2018

Graphical Regular Logic

Regular logic can be regarded as the internal language of regular catego...
11/22/2021

Functorial aggregation

Aggregating data in a database could also be called "integrating along f...
06/13/2019

Two modes of recognition: algebra, coalgebra, and languages

The aim of the paper is to build a connection between two approaches tow...
08/16/2018

Limits of bimorphic lenses

Bimorphic lenses are a simplification of polymorphic lenses that (like p...
11/18/2021

On the Existence of Coproducts in Categories of q-Matroids

q-Matroids form the q-analogue of classical matroids. In this paper we i...
01/11/2019

Identity types and weak factorization systems in Cauchy complete categories

It has been known that categorical interpretations of dependent type the...
10/30/2020

The matrix taxonomy of left exact categories

This paper is concerned with the problem of classifying left exact categ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.