スライド、これもあとで読む:-)
これもスライドPDF版→ http://www.cs.bath.ac.uk/~cf/GoI_London.pdf
キーワード:
- Geometry of Interaction (GoI)
- dualizing object
- symmetric liniarly (weekly) distributive category
- polygraph
- Dummett category
- claasical category
- GoI construction = Int construction
- traced Dummett category / Hasegawa's theorem