12 Feb
1992
12 Feb
'92
4:01 p.m.
Is it known which functions from N to N are representable in an algebraically closed ccc? (A ccc in which initial algebras for "all" endofunctors exist. "all" includes at least those definable by x and => and those arising from initial algebras like e.g. the List functor. More precisely are there functions representable in F, which aren't in an algebraically closed category? -Martin Hofmann =========================================================================