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