tastoids/imbedding

An Index(space) (or ‘Imbedding’) is a set of values ⅈ (<= countable ∞) able to map (embeds) a ‘thing’ to its imbedded-index (‘imbex’).

An index i within a countable set , e.g. the integers (ℤ), strings, any set with a semblance of equality/comparability.
An embedding model and its range of possible values from a ‘thing’ to index.
A set of indices within that Index(space) (untested)

Types

EmbeddingTo

</>

A consistent injection/mapping of a value into a set imbices.

pub type EmbeddingTo(imbex) {
  Identity(fn(imbex) -> imbex)
  Embedding(model: String, embed: fn(String) -> imbex)
  Translating(from: EmbeddingTo(imbex), into: EmbeddingTo(imbex))
}

Constructors

```
Identity(fn(imbex) -> imbex)
```
The value being imbeded is the index (String, Int, …)
```
Embedding(model: String, embed: fn(String) -> imbex)
```
The Imbedding is an Embedding (model), with consistent but possibly opaque imbices being returned.
```
Translating(from: EmbeddingTo(imbex), into: EmbeddingTo(imbex))
```
IFF, there is a definable mapping of indices between two systems, one could prepare a higher-order embedding of embeddings to remap between differing systems. (Notwithstanding the values would probably need to be similarly scaled)

Imbedding

</>

An Imbedding(space) is a set of index values (imbex,pl: imbices) shared by a category of Tastoids.

pub type Imbedding(space) {
  Index(space)
  Imbex(embedding: EmbeddingTo(space))
  Indices(set.Set(Imbedding(space)))
}

Constructors

```
Index(space)
```
```
Imbex(embedding: EmbeddingTo(space))
```
```
Indices(set.Set(Imbedding(space)))
```