Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Does anyone reading this know some nice conditions under which, given an endofunctor on a cartesian closed category for which the end
exists, that this is the initial algebra for ? I can prove without any more extra assumptions that this end carries a weakly initial -algebra structure, but I can't prove it to be initial in general. I thought I recalled seeing discussion about this somewhere, but I don't recall where.
I don't know either, but I'd like to see the answer. Have you tried the categories mailing list or MathOverlow?
1 to 2 of 2