[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]
Re: [zzdev] Scribbles
- 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
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?
> 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/ %%%