A metric structure is a many-sorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally there are functions (of several variables) between sorts, assumed to be uniformly continuous. Examples include metric spaces themselves, measure algebra...
No comments yet
Be the first to share your thoughts!