Pith. sign in

Title resolution pending

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

1 Pith paper citing it

fields

math.CT 1

years

2024 1

verdicts

CONDITIONAL 1

representative citing papers

The Relational Quotient Completion

math.CT · 2024-12-15 · conditional · novelty 7.0

A new categorical framework, relational doctrines, yields universal quotient and extensionality completions that unify exact completion, setoids, and quantitative metric quotients.

citing papers explorer

Showing 1 of 1 citing paper.

  • The Relational Quotient Completion math.CT · 2024-12-15 · conditional · none · ref 32

    A new categorical framework, relational doctrines, yields universal quotient and extensionality completions that unify exact completion, setoids, and quantitative metric quotients.