diff options
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
-rw-r--r-- | src/algebra/catdef.spad.pamphlet | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index f4447776..fe745809 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -224,7 +224,7 @@ BasicType(): Category == Type with ~=: (%,%) -> Boolean ++ x~=y tests if x and y are not equal. before?: (%,%) -> Boolean ++ \spad{before?(x,y)} holds if the system representation - ++ of \spad{x} is comes before that of \spad{y} in a + ++ of \spad{x} comes before that of \spad{y} in a ++ an implementation defined manner. add x = y == not before?(x,y) and not before?(y,x) @@ -1796,6 +1796,24 @@ RightModule(R:Rng):Category == Join(AbelianGroup, RightLinearSet R) @ +\section{category SRING SemiRing} +<<category SRING SemiRing>>= +)abbrev category SRING SemiRing +++ Author: Gabriel Dos Reis +++ Date Created: March 7, 2011 +++ Date Last Modified: March 7, 2011 +++ Description: +++ The category of all semiring structures, e.g. triples (D,+,*) +++ such that (D,+) is an Abelian monoid and (D,*) is a monoid +++ with the following laws: +++ Axioms: +++ a * (b + c) = (a * b) + (a * c) +++ (b + c) * a = (b * a) + (c * a) +++ 0 * a = 0 +++ a * 0 = 0 +SemiRing(): Category == Join(AbelianMonoid,Monoid) +@ + \section{category RING Ring} <<category RING Ring>>= )abbrev category RING Ring |