blob: 63a9bf0b9cf6c14d9c205b0efff5d79ac009fe96 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
%---------------------------------------------------------------------------
% Category Type Constructor Page
%---------------------------------------------------------------------------
\begin{page}{CategoryType}{Category {\em Type}}
\beginscroll
{\em Type} is a primitive category in AXIOM,
one which is an ancestor of all AXIOM categories.
{\em Type} is the root of AXIOM's category hierarchy,
a category with no properties (exported operations
and attributes) of which all other categories are descendants.
Two important children of {\em Type} are
\spadtype{SetCategory}, the category of all algebraic domains,
and \spadtype{Aggregate}, the category of all data structures.
\endscroll
|
