Interpretation of left/right inverse

[bvssvni]

In the paper Left and Right Inverse, I explained the underlying model of left and right inverse.

Relating this underlying model to Joker Calculus:

f ?g <=> (?g . f <=> id)

0 ?0 - entrance path `1` twists onto an untwisted loop
0 ?1 - entrance path `0` untwists onto a twisted loop
1 ?0 - entrance path `1` untwists onto a twisted loop
1 ?1 - entrance path `0` twists onto an untwisted loop