1 citations · 1 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.CT2024
The Relational Quotient Completion
Francesco Dagnino, Fabio Pasquali
Taking a quotient roughly means changing the notion of equality on a given object, set or type. In a quantitative setting, equality naturally generalises to a distance, measuring h…
math.CT2024
Cauchy-completions and the rule of unique choice in relational doctrines
Francesco Dagnino, Fabio Pasquali
Lawvere's generalised the notion of complete metric space to the field of enriched categories: an enriched category is said to be Cauchy-complete if every left adjoint bimodule int…