This notation now has two definitions, but, as the corresponding categories are equivalent, this causes no problem. 형식의 범주는 다양성을 형성합니다. Recall that a variety in any algebraic context means a subcategory of algebras closed under products, subobjects and quotients.