Maps to a Subobject Classifier Let $\Omega$ be the subobject classifier of a category $C$. Choose some map $m: X \rightarrow \Omega$. Is there necessarily a subobject $p: P \rightarrow X$ for which $m$ is the characteristic map?  
It seems that in the definition of subobject classifier you can only go the other way around, i.e. from subobjects of $X$ to characteristic maps so that there may be more maps than subobjects. Is that possible?

Usually you only speak of a subobject classifier in a category that has all pullbacks.  In that case, the pullback of the universal map $1\to\Omega$ along $m$ is a subobject $p:P\to X$ for which $m$ is the characteristic map.  Really, the existence of at least all pullbacks of this form should be part of the definition of a subobject classifier, but it is sometimes not mentioned since the definition is only used in categories which have all pullbacks.
If you don't assume any pullbacks exist, then such a subobject need not exist.  For instance, consider the category of nonempty sets.  The usual subobject classifier for sets still satisfies the definition "every subobject has a unique characteristic map" and so gives a "subobject classifier" in this category by that definition.  But a function which is the characteristic function of the empty subset is not the characteristic function of any subobject in this category.
