Pith. sign in

REVIEW 1 cited by

Double categories of relations relative to factorisation systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2310.19428 v3 pith:VE3MLPM2 submitted 2023-10-30 math.CT

classification math.CT
keywords categoriesdoublerelationsfactorisationsystemsclassesrelativespans
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Logical Aspects of Virtual Double Categories

    math.CT 2025-01 conditional novelty 6.0 of 10

    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.

Pith tools