Representations of First Order Function Types as Terminal Coalgebras
Thorsten Altenkirch · Lecture notes in computer science · 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.