分类

对象的分类通常意味着已构建一个列表，其中包含来自对象中每个同构类型的恰好一个成员，并且可以有效地使用工具和技术来识别任何组合给定的对象及其在列表中的唯一代表。 已被分类的数学对象的例子包括有限单群和 2-流形，但不包括，例如，纽结。