Mercurial > hg > Members > kono > Proof > category

diff category.ind @ 42:9694f93977ca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Functor Identity
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 22 Jul 2013 21:29:26 +0900
parents e9fa5c95eff7
children a04219fa2e0a
line wrap: on
line diff
--- a/category.ind	Mon Jul 22 19:07:31 2013 +0900
+++ b/category.ind	Mon Jul 22 21:29:26 2013 +0900
@@ -205,7 +205,7 @@
 $ η(a): a->UF(a)$ 
 
 put 
-\[    F(f) = (η(U(b))f)* \]
+\[    F(f) = (η(b)f)* \]
 \[ ε : FU -> 1_B        \]
 \[  ε(b) = (1_{U(b)})* \]