(sigemb-info 464) Talk by Ichiro Hasuo at RIMS, Kyoto U.

[Ichiro Hasuo <ichiro@xxxxxxxxxxxxxxxxxxxx>]

Dear colleagues,

This Thursday at 11.00am Ichiro Hasuo is giving a talk
about his recent results on coalgebraic view on fractals.
No registration necessary. See you there!

Best regards,
Ichiro Hasuo (the colloquium organizer)
---
RIMS-CS website
http://www.kurims.kyoto-u.ac.jp/~cs/


=====
Ichiro Hasuo (RIMS, Kyoto Univ.)
Coalgebraic Representation Theory of Fractals
11.00 - 12.00, Thursday 1 October 2009
Room 203P, Faculty of Science Bldg. No. 6  理学部6号館 203P号室
(see http://www.kyoto-u.ac.jp/en/access/campus/north.htm
http://www.kyoto-u.ac.jp/ja/access/campus/map6r_n.htm for direction)

Abstract:
 We establish a canonical bijective correspondence between a
``metric'' fractal induced by an IFS-like specification and a
``coalgebraic'' fractal induced by a combinatorial specification. This
is a representation of the former by the latter: the latter consists
of (equivalence classes of) infinite streams hence is of symbolic
nature. Gluing of shapes calls for careful mathematical treatment: for
coalgebraic fractals we employ the presheaf framework by Leinster; for
metric fractals we introduce the notion of injective IFS as means of
specifying metric fractals. Our leading example is the unit interval
[0,1] and its representation by binary streams.

This is a joint work with Bart Jacobs (Nijmegen) and Milad Niqui (CWI,
Amsterdam).