Does induction for a functor algebra imply it is initial? By "induction" I mean "no proper subalgebras". My thinking goes like this:


*

*For natural numbers, recursion and induction are in some sense the same thing. In particular, given a recursive definition of $f$ you would prove its totality roughly by saying "if I can define $f$ on $1\dots n$, then I can define it on $n+1$", i.e. by induction.

*The proper categorical notion of recursion is initial algebras – in particular, for $F(X) = 1\sqcup X$ an initial algebra is a natural number object, the property of being initial being precisely what you need to define functions by recursion.

*An initial algebra automatically has a notion of induction: initial objects have no proper subobjects, so if you have some subobject that is closed under the algebra operations, this means precisely that the inclusion is an algebra homomorphism, and therefore an isomorphism.

*I'd really like to go the other way, but in general the implication "$I$ is initial $\implies$ every mono into $I$ is an iso" cannot be reversed (its dual has a counterexample in $\mathbf{Set}$, in that every epi from $0$ is an iso but $0$ is not terminal).


Are there circumstances where an algebra having no proper subalgebra means it is initial?
 A: In general, it is possible for an object to have every mono into it an iso, but not be initial, weakly initial, or quasi-initial. The pre-condition is too easily satisfied just by not having very many morphisms into a given object, so to give it some traction, I'll need an existence-of-morphisms condition.
Theorem: In a category with equalisers, if $I$ is an object such that any mono $A \rightarrowtail I$ is an iso, then $I$ is quasi-initial.
Proof: Let $f, g : I \rightrightarrows X$, and take $A \xrightarrow{e} I$ the equaliser of $f$ and $g$. An equaliser is a (regular) mono, so by hypothesis on $I$ it is an iso, but if the equaliser of two morphisms is an iso then they are equal. So $f = g$, so there is at most one morphism from $I$ to any other object.
In the particular case of categories of functor algebras and homomorphisms, the forgetful functor to the underlying category creates limits, so in particular it is enough for the underlying category to have equalisers (thanks Zhen Lin for reminding me of this).
I've not yet come up with any interesting word on when there is at least one morphism, so that $I$ really is initial instead of quasi-so.
A: After receiving no answers here, I reposted this question on MathOverflow, and got an answer from Todd Trimble.
https://mathoverflow.net/questions/127540/does-induction-for-a-functor-algebra-imply-it-is-initial
