I had no idea the gang of four had appropriated that word too. My bad. I really did mean the category theory functor, not whatever its other meaning is.

However useful or not category theory is for producing new proofs, I found it enlightening and am glad this was posted.