Changes

Writing functional compositions <math>f = g \circ h</math> "on the right", we have the following data about the situation:

Writing functional compositions <math>f = g \circ h</math> "on the right", we have the following data about the situation:

<pre>

  X = {1, 2, 3, 4, 5}

  M = {b, e}

<math>\begin{array}{ccl}

  Y = {A, B, C, D, E, F}

X & = & \{ 1, 2, 3, 4, 5 \}

 

  f : X -> Y, arbitrary

M & = & \{ b, e \}

  g : X -> M, surjective

  h : M -> Y, injective

Y & = & \{ A, B, C, D, E, F \}

 

  f = g o h

f & : & X \to Y, ~\text{arbitrary}

</pre>

g & : & X \to M, ~\text{surjective}

h & : & M \to Y, ~\text{injective}

f & = & g \circ h

\end{array}</math>

What does all of this have to do with reification and so on?

What does all of this have to do with reification and so on?