Tenemos un funtor covariante formula_1 desde Mink a uC*alg, la categoría de C* álgebras unitales tales que cada morfismo en Mink mapea a un monomorfismo en uC*alg (isotonía).