Functions for free. Representations of first order function types as terminal coalgebras

Thorsten Altenkirch


We show that function types which have only initial algebras for regular functors in the domains, i.e. first order function types, can be represented by terminal coalgebras for certain nested functors. The representation exploits properties of $\omega^\op$-limits and local $\omega$-colimits.
Thursday 13th December 2001, 13:00
Robert Recorde Room
Department of Computer Science