Atlas home || Conferences | Abstracts | about Atlas

17th "Summer" Conference on Topology and Applications
July 1-4, 2002
University of Auckland
Auckland, New Zealand

Organizers
David Gauld (University of Auckland), Sina Greenwood (University of Auckland), David McIntyre (University of Auckland), Warren Moors (Waikato University), Sidney Morris (University of South Australia), Vladimir Pestov (Victoria University Wellington), Ivan Reilly (University of Auckland), Des Robbie (University of Melbourne)

View Abstracts
Conference Homepage

A compactification of polynomial coalgebras
by
Rob Goldblatt
Victoria University of Wellington

Coalgebras of endofunctors on SET are of current interest in theoretical computer science, as they have been found useful in modelling a variety of data structures and state-based systems (lists, streams, trees, automata, object-oriented classes). This talk will discuss the construction of the ``ultrafilter enlargement'' of coalgebras for ``polynomial'' functors. The construction can be expressed as a kind of Stone-Cech compactification. It has been used to develop an analogue for coalgebras of Birkhoff's famous structural characterization of equational classes of algebras.

Date received: May 31, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cait-27.