Remark 2.44.
Marc mentioned he did not yet manage to find a direct proof that (3) implies (1) that does not go through the presentation of a topos as a left exact localization of a presheaf topos.
Higher Topos Theory Section 2.3: Characterizations and consequences
Remark 2.44.
Marc mentioned he did not yet manage to find a direct proof that (3) implies (1) that does not go through the presentation of a topos as a left exact localization of a presheaf topos.