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