Towards Trace Metrics via Functor Lifting (Q5275342)

From MaRDI portal
scientific article; zbMATH DE number 6741739
Language Label Description Also known as
English
Towards Trace Metrics via Functor Lifting
scientific article; zbMATH DE number 6741739

    Statements

    0 references
    0 references
    0 references
    0 references
    11 July 2017
    0 references
    trace metric
    0 references
    monad lifting
    0 references
    pseudometric
    0 references
    coalgebra
    0 references
    Towards Trace Metrics via Functor Lifting (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references