I have been trying to figure out a good name for an endofunctor for which the canonical map from the intial algebra to the terminal coalgebra is an isomorphism. After reading the latest from PJF, it suddenly hit me. MB ==============================