理查德·斯塔特曼 只有一个对象的类别中的产品。 ACT公司 2020 347-353 日记账/corr/abs-2101-07888 https://doi.org/10.4204/EPTCS.333.24 https://arxiv.org/abs/2010.10494 db/series/eptcs/eptcs333.html#abs-2101-10494