## References André Joyal, Ieke Moerdijk, sheaves in geometry and logic, VI.2, VI.3