I am currently reading through some Category Theory lecture notes in my spare time and I stumbled across the fact that in the categorical sense, the product metric on a product of metric spaces $(A, ...