Concrete categories are concretely equivalent iff their uniquely transportable modifications are strict concretely isomorphic.评价结果

评估详情