changeset 94:624a76d07c20

Mini fixes
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Thu, 29 Jan 2015 16:59:57 +0900
parents 31eb02af947e
children bbd719e94ac5
files slides/20150129/slide.md
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20150129/slide.md	Thu Jan 29 16:57:35 2015 +0900
+++ b/slides/20150129/slide.md	Thu Jan 29 16:59:57 2015 +0900
@@ -19,6 +19,8 @@
 * 長さ制限付きの無限長 Delta の証明ができました
 * そのおかげで DeltaM の unity-law の1つはできました
     * が、もう片方が無理です
+* できた方     : mu . eta == id
+* できてない方 : mu . (fmap eta) == id
 
 # つまってるところ
 ```