The difference is that the Y combinator has a deep meaning in theoretical CS, making recursion essentially out of thin air in the untyped lambda calculus which

The difference is that the Y combinator has a deep meaning in theoretical CS, making recursion essentially out of thin air in the untyped lambda calculus which had far reaching consequences. In contrast an AbstractFactoryFactory is pretty mundane.