-6. The standard category-theory presentation of the monad laws
---------------------------------------------------------------
-In category theory, the monad laws are usually stated in terms of unit and join instead of unit and <=<.
+Similarly, if φ is a natural transformation from `1C` to `MF'`, and γ is `(φ G)`, that is, a natural transformation from `G` to `MF'G`, then we can extend (iii.2) as follows:
+
+ γ = (φ G)
+ = ((φ <=< unit) G)
+ = (((join F') -v- (M φ) -v- unit) G)
+ = ((join F'G) -v- ((M φ) G) -v- (unit G))
+ = ((join F'G) -v- (M (φ G)) -v- (unit G))
+ ??
+ = γ <=< (unit G)
+
+where as we said γ is a natural transformation from `G` to some `MF'G`.
+
+
+
+
+The standard category-theory presentation of the monad laws
+-----------------------------------------------------------
+In category theory, the monad laws are usually stated in terms of `unit` and `join` instead of `unit` and `<=<`.