image/svg+xml
BINOPC BinaryOperatorCategoryThis is the category of all domains that implement binary operations.BinaryOperatorCategory(T: Type): Category == MappingCategory(T,T,T)
BINOP BinaryOperationThis domain implements binary operations. binaryOperation: ((T,T) -> T) -> %
SetCategory
IDEMOPC IdempotentOperatorCategory(T: BasicType)
(f: %, x: T) . f(x,x) = x
A
This is the category of all domains that implement idempotent operations
SGPOPC SemiGroupOperatorCategory(T: BasicType)
(f: %, x: T, y:T, z: T) . f(f(x,y),z) = f(x,f(y,z))
A
This is the category of all domains that implement semigroup operations
associativity ==
idempotence ==
MONOPC MonoidOperatorCategory(T: BasicType)
(f: %, x: T).
A
This is the category of all domains that implement monoid operations
neutrality ==
SGPOP SemiGroupOperation(T: BasicType)This domain implements semigroup operations semiGroupOperation: ((T,T) -> T) -> %
f(x, neutralValue f) = x
f(neutralValue f, x) = x
MONOP MonoidOperation(T: BasicType)This domain implements monoid operations monoidOperation: ((T,T) -> T, T) -> %
CoercibleTo