Category of metric spaces (source code)

= Category of metric spaces
{wiki=Category_of_metric_spaces}

In the context of category theory, the category of metric spaces is typically denoted as **Met** (or sometimes **Metric**). This category is defined as follows: 1. **Objects**: The objects in the category **Met** are metric spaces.