>
> 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.
>
You assume that 'entries' is succesful. But given infinite
sequence I see:
(4) -> entries(si)
>> Error detected within library code:
infinite stream
(4) -> si
(4) [1,1,1,1,1,1,1,1,1,1,...]
Type: Sequence(Integer)
--
Waldek Hebisch
hebi...@math.uni.wroc.pl
------------------------------------------------------------------------------
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
