2000 character limit reached
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning (2201.09087v1)
Published 22 Jan 2022 in cs.LO
Abstract: The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed with generalised metric space structures, and operations being nonexpansive up to a lifting. We apply our results to the algebraic axiomatisation of the {\L}ukaszyk--Karmowski distance on probability distributions, which has recently found application in the field of representation learning on Markov processes.