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/hyper/pages | |
| parent | e9cfc9f192acf6c1a267009d4a74643454eb7665 (diff) | |
| download | open-axiom-4c3e77d5efc19d097c7995f7d5f64eee0400ff66.tar.gz | |
Add Functorial category
Diffstat (limited to 'src/hyper/pages')
| -rw-r--r-- | src/hyper/pages/releaseNotes.ht | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/hyper/pages/releaseNotes.ht b/src/hyper/pages/releaseNotes.ht index 6317e508..da62f6e6 100644 --- a/src/hyper/pages/releaseNotes.ht +++ b/src/hyper/pages/releaseNotes.ht @@ -66,7 +66,11 @@ contains additions of new features and domains including: by the domain FiniteAggregate. The operation parts from HomogeneousAggregate was remved. It was - mostly redundant with members, and created opportunities for confusion. + mostly redundant with members, and created opportunities for + confusion. + + A new category, Functorial, has been added. All homogeneous + aggregates with element type S satisfy Functorial S. \endscroll \autobuttons |