Norms on Categories and Analogs of the Schröder-Bernstein Theorem

Abstract

We generalize the concept of a norm on a vector space to one of a norm on a category. This provides a unified perspective on many specific matters in many different areas of mathematics like set theory, functional analysis, measure theory, topology, and metric space theory. We will especially address the two last areas in which the monotone-light factorization and, respectively, the Gromov-Hausdorff distance will naturally appear. In our formalization a Schröder-Bernstein property becomes an axiom of a norm which constitutes interesting properties of the categories in question. The proposed concept provides a convenient framework for metrizations.

Corrected typos; updated to include more results; corrected some results and proofs