Someone at the recent meeting in Durham mentioned that he had shown that the canonical map from the intial algebra of some endofunctor on Set to the terminal coalgebra was always monic. Is that ``someone'' on the distribution list and can he communicate with me. Michael ==========================================