A paper has been added to my ftp directory with the above title. It is a preliminary version only. An abstract follows: In a previous paper, we investigated the relation between the initial algebra and terminal coalgebra for an endofunctor on the category of sets. In this one we study conditions on a functor to be PJF, which means that the canonical comparison morphism between those objects is an isomorphism. The /pub/texmacros directory has slightly modified versions of mtex.tex and diagram.tex. The differences are described in a file called changes.tex. Michael ==============================