C'est les vacances; comme vous aurez peut-être deviné, ils n'y aura pas de GdT cette semaine. On reprendra la semaine prochaine. En revanche, voici une question de David Michael Roberts provenant du Zulip catégories:

The fact that the categories of sheaves over linear sites (or linear Grothendieck topoi) are precisely the Grothendieck categories can be deduced from Gabriel-Popescu theorem. Is there work on the internal logic of a (Grothendieck) abelian category from this point of view, keeping in mind the usual internal logic of a (Grothendieck) topos?

Si vous avez une réponse, je pourrais vous mettre en contact/le lui transmettre; sinon, ça m'a l'air d'être un point de départ pour une discussion intéressante entre nous!