diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-20 03:46:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 03:46:15 +0000 |
| commit | 4c3e77d5efc19d097c7995f7d5f64eee0400ff66 (patch) | |
| tree | 9cf6498c95ae3b7b807aec42741403a1a5578e6a /src/algebra/catdef.spad.pamphlet | |
| parent | e9cfc9f192acf6c1a267009d4a74643454eb7665 (diff) | |
| download | open-axiom-4c3e77d5efc19d097c7995f7d5f64eee0400ff66.tar.gz | |
Add Functorial category
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 8261e7ea..f8c394ee 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -2196,6 +2196,25 @@ VectorSpace(S:Field): Category == Module(S) with (v:% / s:S):% == inv(s) * v @ + +\section{Functorial} + +<<category FUNCTOR Functorial>>= +)abbrev category FUNCTOR Functorial +++ Author: Gabriel Dos Reis +++ Date Created: May 19, 2013. +++ Date Last Modified: May 19, 2013. +++ Description: +++ This category describes the class of structural objects that +++ behave functorially in distinguished class of components. +Functorial(S: Type): Category == Type with + map: (S -> S, %) -> % + ++ \spad{map(f,x)} returns an object with similar shape and + ++ structure as \spad{x}, where all \spad{S}-items \spad{s} + ++ in \spad{x} have been replacement elementwise by \spad{f s}. +@ + + \section{License} <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. @@ -2234,6 +2253,7 @@ VectorSpace(S:Field): Category == Module(S) with <<*>>= <<license>> +<<category FUNCTOR Functorial>> <<category BINOPC BinaryOperatorCategory>> <<domain BINOP BinaryOperation>> <<category IDEMOPC IdempotentOperatorCategory>> |