 the boolean space
B = {0, 1} = {false, true}.

One way to harmonize the pictures of functional factorization
and hypostatic abstraction might be to reconfigure the latter
as follows:

|   Object                   Formal
|   Domain         F         Values
|          X o----------&gt;o B 
|             \         ^
|              \       /
|            c  \     / f
|                \   /
|                 v /
|                  o
|                 B^k
|
|              Hypostatic
|             Intermediary

T