[logic-ml] Talk by Paul-Andre Mellies in Kyoto (19 April 2012)

[Hasegawa Masahito]

$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+ at n???M(B
$B5~ETBg3X?tM}2r at 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+ at n(B <hassei at kurims.kyoto-u.ac.jp>)

--
Masahito Hasegawa
Research Institute for Mathematical Sciences, Kyoto University