The axiom of choice is shown to hold in the predicative logic of any locally cartesian closed category. A predicative form of excluded middle is then shown to be equivalent to the usual form of choice in topoi.