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

Thorsten Altenkirch (University of Nottingham)
10 October 2001

Print the abstract :

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 ω$\op$-limits and local ω-colimits.

University of Leeds, Department of Pure Mathematics, Logic Seminar 2001