[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

*To*: ZZ Development <zzdev@xxxxxxxxxx>*Subject*: Re: [zzdev] Scribbles*From*: Antti-Juhani Kaijanaho <gaia@xxxxxx>*Date*: Wed, 27 Dec 2000 16:05:47 +0200*In-reply-to*: <3A49F08B.92285079@xxxxxx>; from b.fallenstein@xxxxxx on Wed, Dec 27, 2000 at 02:37:15PM +0100*Mail-followup-to*: ZZ Development <zzdev@xxxxxxxxxx>*References*: <3A49F08B.92285079@xxxxxx>*Sender*: Antti-Juhani Kaijanaho <ajk@xxxxxxxxxxx>

On 20001227T143715+0100, Benjamin Fallenstein wrote: > I've read your scribbles, and I think I understood them (except: what is > an injection?). It's standard mathematical terminology. The definition: Let f : X -> Y be a function, x and x' in X, and y in Y. Now f is an injection if f(x) = y and f(x') = y imply x = x' > Dom d is the X' from your theorem section, i.e. the set of cells which > have posward connections along d, right? Yes. > Mostly, it makes sense, just the last section is problematic. The > important thing about clone dimensions is not simply that the contents > are equal; the important thing is they *stay* equal. Indeed. But the model does not yet handle mutable spaces anyway. -- %%% Antti-Juhani Kaijanaho % gaia@xxxxxx % http://www.iki.fi/gaia/ %%%

**References**:**Scribbles***From:*Benjamin Fallenstein

- Prev by Date:
**Scribbles** - Next by Date:
**Re: [zzdev] Re: [zzdev] Re: [zzdev] GZigZag and education?** - Previous by thread:
**Scribbles** - Next by thread:
**:zz: ZigZag tutorial finally fixed** - Index(es):