aggregate_cats http://www.openmath.org/cd/aggregate_cats.ocd 2005-04-01 experimental 2002-08-25 0 0 logic1 meta_cats A CD of basic aggregate category constructors. This CD holds constructors of individual instances of the categories, with defining properties of the categories. aggregateType This symbol represents a generic type for aggregates (or collections of objects. multisetType This symbol represents the type of multisets. multisetType is an aggregate type setType This symbol represents the type of sets. setType is an aggregate type finiteSetType This symbol represents the type of finite sets. finite set type has set type infiniteSetType This symbol represents the type of infinite sets. infinite set type has set type infinite set type does not have finite set type continuousSetType This symbol represents the type of continuous sets. continuous set type has set type piecewiseContinuousSetType This symbol represents the type of piecewise continuous sets. piecewise continuous set type has set type non_continuousSetType This symbol represents the type of non-continuous sets. non-continuous set type has set type non-continuous set type does not have continuous set type discreteSetType This symbol represents the type of discrete sets. discrete set type has set type discrete set type does not have continuous set type or piecewise continuous set type