3.2 Spot a category in Haskell Haskell全体を扱うのではなく、objectsとmorphismsのように振舞う箇所だけを扱う。 カリー化とかexponentialの話もここではしない。ということで、objectは型の一部。kindが(* -> *)とかでなく(*)な型だけをobjectとする。だ…

3.1 Labelled transition systems ラベル付遷移システム。 LTS over Act は、次のような(Q, T)である。 Q は states の set T は transition relationのset。T⊆(Q × Act × Q) 3.2 Strong simulation 読み中。 日本語の上記本の解説を発見。 http://kaiya.cs.…