Thorsten Altenkirch
(University of Nottingham)
10 October 2001
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