Hi, I have been working on getting rid of the attribute finiteAggreagte and replacing it with the more structured category FiniteAggregate. See
http://sourceforge.net/p/open-axiom/code/2869/tree//trunk/src/algebra/aggcat.spad.pamphlet?diff=515862a75fcbc90e9951aa9f:2868 for its introduction. While working through the semantics implications of category exports, I've come to the conclusion that any domain D that satisfies the category IndexedAggregate must also be morally finite. For each instance of such a domain would need to have a finite indices (because the operations indices$D must return a list), and it would also need to have a finite set of entries -- the operation entries$D must return a list. Consequently, I am proposing to make IndexedAggregate(I,S) extends FiniteAggregate(S) instead of HomogeneousAggregate(S). Opinions? -- Gaby ------------------------------------------------------------------------------ AlienVault Unified Security Management (USM) platform delivers complete security visibility with the essential security capabilities. Easily and efficiently configure, manage, and operate all of your security controls from a single console and one unified framework. Download a free trial. http://p.sf.net/sfu/alienvault_d2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
