Domenico Fiorenza
straight
Straightforawrd exercise.
Claim. Ogni freccia fattorizza come
per due FS forti innestati .
Proof. Factor as a composition
![1](http://s28.postimg.org/68d73rvcd/Code_Cogs_Eqn.png)
with .
Now solving the lifting problems
![2](http://s10.postimg.org/nxnyvzm4p/Code_Cogs_Eqn_1.png)
we obtain arrows . Exploiting the following
Lemma. In a OFS the left class is right-3-for-2-closed, namely
and the right class is left-3-for-2-closed, namely
We obtain that , and that .
Revised on January 19, 2014 at 02:56:52
by
Fosco Loregian