Logique linéaire

Une correspondance entre catégories linéairement distributives et polycatégories bifibrée sur la polycatégorie terminale. (en anglais)