Model theory and topoi | lit.salon