Équivalence naturelle et formules logiques en théorie des catégories. Georges Blanc (1978) Archiv für mathematische Logik und Grundlagenforschung