# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1423365570 -32400
# Node ID 11015b94a5cdaf43d32b39c0cf06a47c877a01cd
# Parent  76ce5bb18092b482b01c626c1867ae093feec6f2
Add figures category

diff -r 76ce5bb18092 -r 11015b94a5cd Makefile
--- a/Makefile	Sun Feb 08 11:53:19 2015 +0900
+++ b/Makefile	Sun Feb 08 12:19:30 2015 +0900
@@ -5,7 +5,7 @@
 $(TARGET).pdf : $(TARGET).dvi
 	dvipdfmx $<
 
-$(TARGET).dvi : $(wildcard *.tex)
+$(TARGET).dvi : $(wildcard *.tex) $(wildcard fig/*.pdf)
 	platex $(TARGET).tex
 	platex $(TARGET).tex
 	platex $(TARGET).tex
@@ -25,3 +25,6 @@
 remake:
 	make clean
 	make all
+
+bb:
+	extractbb fig/*.pdf
diff -r 76ce5bb18092 -r 11015b94a5cd category.tex
--- a/category.tex	Sun Feb 08 11:53:19 2015 +0900
+++ b/category.tex	Sun Feb 08 12:19:30 2015 +0900
@@ -37,12 +37,11 @@
         identity mapping とは domain と codomain が同じ morphism のことである。
         identity mappping は id と略する。
         id は全ての object に存在するため、 object A に対する id は $ id_A $ と書く。
-        なお、id は全ての object に存在するために省略して書くことが多い。
 
     \item 同じ obejct が domain と codomain になっている2つのmorphismは合成することができ、合成の順番は結果に影響しない。
 
         morphism の合成には記号 $ \circ $ を用いる。
-        object B から C への morpshim f と object A から B への morphism g があった時、 f と g を合成すると式\ref{exp:morpshim_compose}となる。
+        object B から C への morpshim f と object A から B への morphism g があった時、 f と g を合成すると式\ref{exp:morphism_compose}となる。
 
         \begin{equation}
             f \circ g : A \rightarrow C
@@ -62,14 +61,27 @@
 
 例えば、object A,B と A から B への moprhism を持つ category は図\ref{fig:simple_category}のようになる。
 
-% TODO: simple category figure
+\begin{figure}[htbp]
+    \begin{center}
+        \includegraphics[scale=1.0]{fig/simple_category.pdf}
+        \caption{object A,B と morpshim f を持つ category}
+        \label{fig:simple_category}
+    \end{center}
+\end{figure}
 
+なお、id は全ての object に存在するために省略して書くことが多いため、これからは省略する。
 
 object を点、morphism を線とした図を commutative diagram (可換図式) と呼ぶ。
 ある object から object への morphism の合成の path に関わらず結果が同じである時、その図を commutative (可換)と呼ぶ。
 例えば、式\ref{exp:morphism_composition_law}の category の commutative diagram は図\ref{fig:morphism_composition_law}のようになる。
 
-% TODO: morphism_composition_law
+\begin{figure}[htbp]
+    \begin{center}
+        \includegraphics[scale=0.8]{fig/morphism_composition_law.pdf}
+        \caption{式\ref{exp:morphism_composition_law} の morphism の合成法則の category がなす commutative diagram}
+        \label{fig:morphism_composition_law}
+    \end{center}
+\end{figure}
 
 
 commutative diagram が commutative である時、moprhism の合成順序が異なっても結果が同じであることを利用して等価性の証明を行なうことを diagram chasing と呼ぶ。
diff -r 76ce5bb18092 -r 11015b94a5cd delta.tex
--- a/delta.tex	Sun Feb 08 11:53:19 2015 +0900
+++ b/delta.tex	Sun Feb 08 12:19:30 2015 +0900
@@ -32,7 +32,7 @@
 
 \section{Haskell における Delta Monad の実装例}
 
-式\ref{meta_computation_definition}のメタ計算をMonadで実現する。
+式\ref{exp:meta_computation_definition}のメタ計算をMonadで実現する。
 
 実装例としてプログラミング言語 Haskell を用いる。
 
diff -r 76ce5bb18092 -r 11015b94a5cd fig/delta_example.xbb
--- a/fig/delta_example.xbb	Sun Feb 08 11:53:19 2015 +0900
+++ b/fig/delta_example.xbb	Sun Feb 08 12:19:30 2015 +0900
@@ -1,8 +1,8 @@
-%%Title: ./delta_example.pdf
+%%Title: ./fig/delta_example.pdf
 %%Creator: extractbb 20140317
 %%BoundingBox: 0 0 559 279
 %%HiResBoundingBox: 0.000000 0.000000 559.000000 279.000000
 %%PDFVersion: 1.3
 %%Pages: 1
-%%CreationDate: Sat Feb  7 19:15:50 2015
+%%CreationDate: Sun Feb  8 12:14:36 2015
 
diff -r 76ce5bb18092 -r 11015b94a5cd fig/non_delta_example.xbb
--- a/fig/non_delta_example.xbb	Sun Feb 08 11:53:19 2015 +0900
+++ b/fig/non_delta_example.xbb	Sun Feb 08 12:19:30 2015 +0900
@@ -1,8 +1,8 @@
-%%Title: ./non_delta_example.pdf
+%%Title: ./fig/non_delta_example.pdf
 %%Creator: extractbb 20140317
 %%BoundingBox: 0 0 504 244
 %%HiResBoundingBox: 0.000000 0.000000 504.000000 244.000000
 %%PDFVersion: 1.3
 %%Pages: 1
-%%CreationDate: Sat Feb  7 19:15:50 2015
+%%CreationDate: Sun Feb  8 12:14:36 2015
 
diff -r 76ce5bb18092 -r 11015b94a5cd fig/ryukyu.xbb
--- a/fig/ryukyu.xbb	Sun Feb 08 11:53:19 2015 +0900
+++ b/fig/ryukyu.xbb	Sun Feb 08 12:19:30 2015 +0900
@@ -1,8 +1,8 @@
-%%Title: ./ryukyu.pdf
+%%Title: ./fig/ryukyu.pdf
 %%Creator: extractbb 20140317
 %%BoundingBox: 0 0 595 842
 %%HiResBoundingBox: 0.000000 0.000000 595.000000 842.000000
 %%PDFVersion: 1.3
 %%Pages: 1
-%%CreationDate: Sat Feb  7 19:15:50 2015
+%%CreationDate: Sun Feb  8 12:14:36 2015
 
diff -r 76ce5bb18092 -r 11015b94a5cd main.tex
--- a/main.tex	Sun Feb 08 11:53:19 2015 +0900
+++ b/main.tex	Sun Feb 08 12:19:30 2015 +0900
@@ -93,6 +93,6 @@
 \input{thanks.tex}
 
 % 付録
-%\input{appendix.tex}
+\input{appendix.tex}
 
 \end{document}