Lambda the Ultimate

I'm student thesis, and i'm interested in proofs of the following :
Show tha the functor F presrves pullback ????

F = Ox(1+_) : Set to Set
Where :
O is an arbitrairy Set
Set : category of set.

Thank you very much in advance