diff options
Diffstat (limited to 'src/algebra/mappkg.spad.pamphlet')
-rw-r--r-- | src/algebra/mappkg.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet index 133f28fe..17f1dab3 100644 --- a/src/algebra/mappkg.spad.pamphlet +++ b/src/algebra/mappkg.spad.pamphlet @@ -112,7 +112,7 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where id: A -> A ++\spad{id x} is \spad{x}. - "**": (A->A, NNI) -> (A->A) + **: (A->A, NNI) -> (A->A) ++\spad{f**n} is the function which is the n-fold application ++ of \spad{f}. @@ -220,7 +220,7 @@ MappingPackage3(A:SetCategory, B:SetCategory, C:SetCategory):_ ++\spad{twist(f)} is the function \spad{g} ++ such that \spad{g (a,b)= f(b,a)}. - "*": (B->C, A->B) -> (A->C) + *: (B->C, A->B) -> (A->C) ++\spad{f*g} is the function \spad{h} ++ such that \spad{h x= f(g x)}. |