Algebraic Morphism of Infinity Topoi

A functor ϕ : : italic-ϕ \phi:\mathcal{E}\to\mathcal{F} is an algebraic morphism of infinity topoi if it is Cocontinuous and Left Exact.