A categorical approach to invariant means and fixed point properties. M.W. Grossman — 1972 Semigroup forum