Pith. sign in

Double categories of relations relative to factorisation systems

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension scheme, and the second focuses on a specific class of vertical arrows defined solely double-categorically. We organise diverse classes of double categories of relations and correlate them with significant classes of factorisation systems. Our framework embraces double categories of spans and double categories of relations on regular categories, which we meticulously compare to existing work on the characterisations of bicategories and double categories of spans and relations.

fields

math.CT 1

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

Logical Aspects of Virtual Double Categories

math.CT · 2025-01-15 · conditional · novelty 6.0

Elementary existential fibrations correspond exactly to cartesian equipments obtained via the new /BU il construction, and regular fibrations correspond to those with Beck-Chevalley pullbacks.

citing papers explorer

Showing 1 of 1 citing paper.

  • Logical Aspects of Virtual Double Categories math.CT · 2025-01-15 · conditional · none · ref 40 · internal anchor

    Elementary existential fibrations correspond exactly to cartesian equipments obtained via the new /BU il construction, and regular fibrations correspond to those with Beck-Chevalley pullbacks.