Arrows in opposite direction
Jun. 28th, 2021 12:46 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
nnz2X0 ->Y
➘ ➚
X
f partitial function f: X -> Y
f defined in X0, subset of X
Drawing arrows in this direction entails the appearance of if statement in code.
if(f.isDefinedAt(v)) ...
f partitial function f: X -> Y
f defined in X0, subset of X
g partitial function g: Y -> Z
g defined in Y0, subset of Y
X2 →Y0→ Z
↓ ↓ ➚
X0→ Y
↓ ➚
X
In the case of composition, it becomes necessary to construct the intersection set of x0 and the preimage of f for Y0 set.
The construction of a preimage can be either impossible or difficult and not applicable in practice.
The solution for solving if and preimage problem was writen in this post(https://nnz2.dreamwidth.org/17932.html)
➘ ➚
X
f partitial function f: X -> Y
f defined in X0, subset of X
Drawing arrows in this direction entails the appearance of if statement in code.
if(f.isDefinedAt(v)) ...
f partitial function f: X -> Y
f defined in X0, subset of X
g partitial function g: Y -> Z
g defined in Y0, subset of Y
X2 →Y0→ Z
↓ ↓ ➚
X0→ Y
↓ ➚
X
In the case of composition, it becomes necessary to construct the intersection set of x0 and the preimage of f for Y0 set.
The construction of a preimage can be either impossible or difficult and not applicable in practice.
The solution for solving if and preimage problem was writen in this post(https://nnz2.dreamwidth.org/17932.html)
