From 4c3e77d5efc19d097c7995f7d5f64eee0400ff66 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 20 May 2013 03:46:15 +0000 Subject: Add Functorial category --- src/hyper/pages/releaseNotes.ht | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/hyper') 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 -- cgit v1.2.3