figures du réel VIII : genres de L, natL, matL

A quoi pourrait donc bien ressembler une critique 'littéraire' du genre mathématique ? A la fois qui et quoi ? 

A supposer donc que l'on a :

natL → matL ⇒ L

c'est-à-dire que l'on dispose de L, La Bibliothèque/Littérature, dont natL et matL ne seraient que des genres, parmi d'autres...

L'idée n'est pas entièrement nouvelle : Paul Feyerabend s'en fait l'écho indirecte page après page (Contre la méthode, Adieu la raison), certes problématisant l'idée plus politiquement qu'esthétiquement.

Récoltes et Semailles, passage obligé de la réflexion.

On peut donc dire que la notion de topos, dérivé naturel du point de vue faisceautique en Topologie, constitue à son tour un élargissement substantiel de la notion d’espace topologique, englobant un grand nombre de situations qui autrefois n’étaient pas considérées comme relevant de l’intuition topologique. Le trait caractéristique de telles situations est qu’on y dispose d’une notion de « localisation », notion qui est formalisée précisément par la notion de site et, en dernière analyse, par celle de topos (via le topos associé au site). Comme le terme de « topos » lui-même est censé précisément le suggérer, il semble raisonnable et légitime aux auteurs du présent Séminaire de considérer que l’objet de la Topologie est l’étude des topos (et non des seuls espaces topologiques). —A. Grothendieck and J.-L. Verdier, SGA 4