MathAction SandBox Aldor Category Theory 3

Topics

FrontPage
- AxiomLanguage
  - AxiomCompiler
    - Category Theory and Axiom
      - SandBox Aldor Category Theory ...
- SandBox
  - SandBox Aldor Category Theory
    - SandBox Aldor Category Theory Categories
      - SandBox Aldor Category Theory 3 <-- You are here.

SandBox Aldor Category Theory 4
- SandBox Aldor Category Theory 5
  - SandBox Aldor Category Theory 6
    - SandBox Aldor Category Theory 7

aldor

#include "axiom"
#pile

#library   lBasics           "basics.ao"
#library   lCategories   "categories.ao"
import from lBasics,lCategories

+++
+++  Slice Category
+++
Slice(Obj:Category,X:Obj):Category == with
    slice: % -> X

SliceCategory(Obj:Category,X:Obj):Join(MathCategory Slice(Obj,X), Final Slice(Obj,X)) == add
    One():Slice(Obj,X) == 
        W1:Slice(Obj,X) == add 
            Rep == X; import from Rep
            slice:%->X == (x:%):X +-> rep x
        W1 add
    one(A:Slice(Obj,X)):(A->One()) == (a:A):One() +-> (slice a) pretend One()

+++
+++  CoSlice Category
+++    
CoSlice(Obj:Category,X:Obj):Category == with
    coslice: X -> %

CoSliceCategory(Obj:Category,X:Obj):Join(MathCategory CoSlice(Obj,X), Initial CoSlice(Obj,X)) == add
    Zero():CoSlice(Obj,X) ==
        W2:CoSlice(Obj,X) == add
            Rep == X
            coslice:X->% == (x:X):% +-> per x
        W2 add
    zero(A:CoSlice(Obj,X)):(Zero()->A) == (z:Zero()):A +-> coslice (z pretend X)

+++
+++  The Category of Pairs with pairs of morphisms as morphisms
+++
Pair(Obj:Category):Category == with 
    product: % -> (Obj,Obj)
    product:      (Obj,Obj) ->%

PairCategory(Obj:Category):MathCategory Pair Obj == add

aldor

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/slicecategories.as using AXIOM-XL 
      compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
"/var/zope2/var/LatexWiki/slicecategories.as", line 14: 
SliceCategory(Obj:Category,X:Obj):Join(MathCategory Slice(Obj,X), Final Slice(Obj,X)) == add
.........................................................................................^
[L14 C90] #1 (Error) The domain is missing some exports.
        Missing Aut: (A: Slice(Slice(Slice(Slice(Obj, X), X), X), X)) -> Automorphi...
        Missing End: (A: Slice(Slice(Slice(Slice(Obj, X), X), X), X)) -> Endomorphi...
        Missing One: () -> Slice(Obj, X)
        Missing one: (A: Slice(Obj, X)) -> A -> One()

"/var/zope2/var/LatexWiki/slicecategories.as", line 28: 
CoSliceCategory(Obj:Category,X:Obj):Join(MathCategory CoSlice(Obj,X), Initial CoSlice(Obj,X)) == add
.................................................................................................^
[L28 C98] #2 (Error) The domain is missing some exports.
        Missing Aut: (A: CoSlice(CoSlice(CoSlice(CoSlice(Obj, X), X), X), X)) -> Au...
        Missing End: (A: CoSlice(CoSlice(CoSlice(CoSlice(Obj, X), X), X), X)) -> En...
        Missing Zero: () -> CoSlice(Obj, X)
        Missing zero: (A: CoSlice(Obj, X)) -> Zero() -> A

"/var/zope2/var/LatexWiki/slicecategories.as", line 43: 
PairCategory(Obj:Category):MathCategory Pair Obj == add
....................................................^
[L43 C53] #3 (Error) The domain is missing some exports.
        Missing Aut: (A: Pair(Pair(Pair(Pair(Obj))))) -> AutomorphismCategory(Pair(...
        Missing End: (A: Pair(Pair(Pair(Pair(Obj))))) -> EndomorphismCategory(Pair(...

   The )library system command was not called after compilation.

... --Bill Page, Tue, 20 Nov 2007 20:26:04 -0800 reply

SandBox Aldor Category Theory 4

Subject: Be Bold !!

	( 8 subscribers )