为数学的统一而奋斗终生

作者：AndersKock（安德烈亚斯·科克，丹麦奥胡斯大学）2023-6-30译者：zzllrr小乐，数学科普微信公众号2023-7-3弗朗西斯·威廉·劳维尔（FrancisWilliamLawvere）是20世纪末至今最有影响力的人物之一，因为他通过改进范畴论工具来统一和简化数学。本文尝试描述这一过程中的一些里程碑和愿景。