From Branching to Linear Metric Domains (and back)

Abstract

A branching and a linear metric domain - both turned into a category - are related by means of a reflection and a coreflection

    Similar works