absolute values, and polar decompositions, preprint (0)

by D Bridges, F Richman, P Schuster, Adjoints