|
|
|
last edited 16 years ago by Bill Page |
Edit detail for SandBox Aldor Category Theory 6 revision 1 of 3
| 1 2 3 | ||
|
Editor: Bill Page
Time: 2007/11/20 20:48:30 GMT-8 |
||
| Note: | ||
changed: - \begin{aldor} #include "axiom" #pile #library lBasics "basics.ao" import from lBasics #library lMorphisms "morphisms.ao" import from lMorphisms #library lAdjoints "adjoints.ao" import from lAdjoints +++ +++ Cartesian Closed Categories +++ define CartesianClosedCategory(Obj:Category):Category == MathCategory Obj with _ Product Obj with _ Exponential Obj \end{aldor}
aldor#include "axiom" #pile #library lBasics "basics.ao" import from lBasics #library lMorphisms "morphisms.ao" import from lMorphisms #library lAdjoints "adjoints.ao" import from lAdjoints +++ +++ Cartesian Closed Categories +++ define CartesianClosedCategory(Obj:Category):Category == MathCategory Obj with _ Product Obj with _ Exponential Obj
aldor
Compiling FriCAS source code from file
/var/zope2/var/LatexWiki/4043820926721658650-25px001.as using
AXIOM-XL compiler and options
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
Use the system command )set compiler args to change these
options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
"/var/zope2/var/LatexWiki/4043820926721658650-25px001.as", line 14:
define CartesianClosedCategory(Obj:Category):Category == MathCategory Obj with _
.........................................................^
[L14 C58] #3 (Error) There are no suitable meanings for the operator `MathCategory'.
"/var/zope2/var/LatexWiki/4043820926721658650-25px001.as", line 15:
Product Obj with _
......................................................................^
[L15 C71] #2 (Error) Argument 1 of `Product' did not match any possible parameter type.
The rejected type is Category.
Expected type #1: SetCategory, #2: SetCategory.
"/var/zope2/var/LatexWiki/4043820926721658650-25px001.as", line 16:
Exponential Obj
..........................................................^
[L16 C59] #4 (Error) There are no suitable meanings for the operator `Exponential'.
The )library system command was not called after compilation.