关于平均半群的自由积 (2001年)

证明了任意半群的极大平均半群同态象存在且同构唯一，同时证明了平均半群的自由积的极大平均半群同态象同构于这些平均半群在平均半群范畴中的自由积。