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