projection functor from El F to C