The relational quotient completion

DOI10.1016/J.APAL.2026.103728MaRDI QIDQ6846012zbMATH OpenFDO

Authors Francesco Dagnino, Fabio Pasquali

Publication date 12 March 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103728

zbMATH Keywords

calculus of relationsexact completionextensional equalityhyperdoctrinesquantitative reasoningquotients

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Categorical logic, topoi (03G30) Quantales (06F07) Fibered categories (18D30)

Cites work

• A 2-categories companion
• A minimalist two-level foundation for constructive mathematics
• Adjointness in Foundations
• Cartesian bicategories. I
• Diagram chasing in ordered categories with involution
• Double categories of relations
• Elementary quotient completion
• Extensional constructs in intensional type theory
• Framed bicategories and monoidal fibrations
• Handbook of logic in computer science. Vol. 5: Logical and algebraic methods
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 4087890 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1129148 (Why is no real title available?)
• scientific article; zbMATH DE number 3794304 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• scientific article; zbMATH DE number 7774236 (Why is no real title available?)
• Logical foundations of quantitative equality
• Metric spaces, generalized logic, and closed categories
• Monads for which structures are adjoint to units
• Monoidal topology. A categorical approach to order, metric, and topology
• On Tarski's axiomatic foundations of the calculus of relations
• On the calculus of relations.
• Quantitative Algebraic Reasoning
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs
• Quantitative equality in substructural logic via Lipschitz doctrines
• Quantitative semantics of the lambda calculus. Some generalisations of the relational model
• Quotient completion for the foundation of constructive mathematics
• Quotients and extensionality in relational doctrines
• Realizability. An introduction to its categorical side
• Regular and exact completions
• Relation lifting, a survey
• Relational algebras
• Setoids in type theory
• The calculus of constructions
• The calculus of relations as a foundation for mathematics
• Two-dimensional monad theory
• Varieties of quantitative algebras and their monads
• Weighted relational models of typed lambda-calculi

This page was built for publication: The relational quotient completion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6846012)