- Returns
- a category
- Description
- SetCategory is the basic category for
describing a collection of elements with = (equality)
and coerce to output form.
- Conditional Attributes
- canonical:
data structure equality is the same as =
axiom
)show SetCategory
SetCategory is a category constructor
Abbreviation for SetCategory is SETCAT
This constructor is exposed in this frame.
------------------------------- Operations --------------------------------
?=? : (%,%) -> Boolean coerce : % -> OutputForm
hash : % -> SingleInteger latex : % -> String
?~=? : (%,%) -> Boolean
