summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
728c693)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
(iii.1) (unit G') <=< γ = γ
when γ is a natural transformation from some FG' to MG'
(iii.1) (unit G') <=< γ = γ
when γ is a natural transformation from some FG' to MG'
- (iii.2) γ = γ <=< (unit G)
+ (iii.2) γ = γ <=< (unit G)
when γ is a natural transformation from G to some MR'G
</pre>
when γ is a natural transformation from G to some MR'G
</pre>