$B3'MM!"(B
$B:#=5$NLZMK$K5~Bg$G(BPaul-Andre Mellies$B$5$s$N9V1i$rM=Dj$7$F$$$^$9!#(B $B4X?4$r$*;}$A$NJ}$O$I$&$>$*5$7Z$K$4;22C$/$@$5$$!#(B
$BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B
------ $BF|;~(B: 19 April 2012 (Thursday) 11:00-12:00 $B>l=j(B: $B5~ETBg3XAm9g8&5f(B2$B9f4[(B478$B9f<<(B Room 478, General Research Building No.2, Kyoto University (Access information & map: http://www.kyoto-u.ac.jp/en/access http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg )
$B9V1i<T(B: Paul-Andre Mellies (CNRS, Paris VII)
$BBj(B: Braided notions of dialogue categories
$B35MW(B: A dialogue category is a monoidal category equipped with an exponentiating object. In this talk, I will introduce a notion of braided dialogue category, and explain how this notion provides a functorial bridge between proof theory and knot theory.
($BLd$$9g$o$;(B: $BD9C+@n(B [email protected])
-- Masahito Hasegawa Research Institute for Mathematical Sciences, Kyoto University