Are you familiar with this paper : Relating first order set theories and elementary toposes from Awodey,Butz,Simpson and Streicher. I haven't read in detail yet, but it really seems to provide a machinery that answer your question.
Simon Henry
- 42.4k
- 5
- 107
- 205