Assertion: metric space | /r/CapableOf | satisfy classical skeletality axiom
Facets:
Source sentences:
text: Assuming that your metric spaces satisfy the classical skeletality axiom ($d(a, b) = 0 \Rightarrow a = b$), a monoidal category for $\times$ is a metric space $A$ equipped with a monoid structure on its set of points