--- a/category.tex	Sun Feb 08 12:20:17 2015 +0900
+++ b/category.tex	Sun Feb 08 12:22:56 2015 +0900
@@ -5,6 +5,8 @@
 ここで Monad の定義と要請されるMonad則について述べる。
 また、定義は Monad の解説に必要な部分についてのみ解説する。
 
+% {{{ Category
+
 \section{Category}
 まずは Monad の定義に必要な Category (圏)について述べる。
 
@@ -87,6 +89,8 @@
 commutative diagram が commutative である時、moprhism の合成順序が異なっても結果が同じであることを利用して等価性の証明を行なうことを diagram chasing と呼ぶ。
 ある性質を category に mapping し、diagram chasing を用いて証明を導くことで性質を解析していく。
 
+% }}}
+
 
 \section{Functor}
 \section{Natural Transformation}