$B3'MM!"(B

$B5~ETBg3XBg3X1!M}3X8&5f2J$G$O!"0J2<$NFbMF$G=8Cf9V5A!JA4#42s!K(B $B$rM=Dj$7$F$*$j$^$9!#9V;U$O!"El5~Bg3X$NO!Hx0lO:@h@8$G$9!#(B $BM>Be?t$NM}O@$N7W;;5!2J3X$X$N1~MQ$K$D$$$F!"=iJb$+$i>$7$/2r@b(B $B$7$FD:$1$k$H;G$C$F$*$j$^$9!J7wO@$K4X$9$kM=HwCN<1$OITMW!"$H$N(B $B$3$H$G$9!K!#(B

$BM}3X8&5f2J$N3+9V2JL$G$9$,!"4X?4$r$*;}$A$NJ}$O$I$J$?$G$b$*5$(B $B7Z$K$4MhD02<$5$$!#ITL@$JE@$,$"$j$^$7$?$i!"D9C+@n$^$G$*Ld$$9g(B $B$o$;$/$@$5$$!#(B

$BD9C+@n???M(B <hassei at kurims.kyoto-u.ac.jp> $B5~ETBg3X?tM}2r@O8&5f=j(B

$B5~ETBg3XBg3X1!M}3X8&5f2J?t3X!&?tM}2r@O@l96?tM}2r@O7O(B $B?tM}2r@OFCJL9V5A#1(B $B7W;;5!2J3X!J=8Cf9V5A!K(B $B!V(BCategorical Algebra and Coalgebra: An Instance of Category Theory in Computer Science$B!W(B $B9V(B $B;U!'O!Hx(B $B0lO:(B $B;a(B $B!JEl5~Bg3XBg3X1!>pJsM}9)3X7O8&5f2J(B $B9V;U!K(B $BF|(B $B;~!'#2#0#1#2G/#77n#1#9F|!&#2#0F|!&#3#1F|!&#87n#1F|(B $B#1#4;~!A(B $B>l(B $B=j!'Am9g8&5f#29f4[#43,(B $B#4#7#89f<<(B $B!JCm!'KLIt$N?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!#I4K|JW$NFnElB&$G$9!#(B $BCO?^$O(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!K(B

Abstract Category theory is an abstract mathematical language that is used in many different branches of mathematics. It has also found successful applications in computer science - in fact, in many different ways. The classic example is in the semantics of functional programming, where types are objects and programs are arrows. In this course we focus on another eminent use of categories in computer science, namely categorical algebra and coalgebra. The bottom-line here is: a coalgebra is a categorical abstraction of dynamics, i.e. a state-based system like an automaton; and an algebra (especially an initial one) is an abstraction of syntax, i.e. the set of well-formed programs. Plotkin's structural operational semantics - connecting syntax and dynamics - also allows an elegant categorical modeling via a distributive law. After exhibiting these basics of the (co)algebraic modeling in computer science, we proceed to a more advanced categorical structure of presheaf categories. We introduce the necessary categorical machineries - (co)end, Kan extension, Yoneda lemma, etc. - as well as demonstrate their applications in name-passing calculi like the pi-calculus. No preliminary knowledge in category theory is assumed. The course materials will be announced at the course website.

$B0u:~MQ0FFb!'(B http://www.kurims.kyoto-u.ac.jp/~hassei/hasuo2012.pdf