Saunders Mac Lane过世了

4月14号过世，终年95岁。Saunders是美国数学界的大牛，在代数方面造诣良深。不过对搞计算机的人来说，他最重要的贡献是1945提出了范畴论。范畴论提出的初衷是处理不同数学分支间的转换，但后来在程序设计理论方面应用广泛。这里是卜告。