mbles consituent la
&gt; catégorie Set) mais aussi le GT (puisque les arcs ou hyperarcs peuvent
&gt; être regardés comme des morphismes).  J'irai même jusqu'à dire que
&gt; le CT est l'union des deux, c'est-à-dire une sorte de dialecte qui
&gt; permettrait d'énoncer les mêmes propositions que les deux autres,
&gt; alors que la réciproque ne serait pas vraie.  Cela donnerait
&gt; l'assurance qu'en parlant le CT on "méta-parle" le ST et
&gt; le GT, mais pour être compris par ceux qui ne parlent
&gt