Équivalence naturelle et formules logiques en théorie des catégories

DOI10.1007/BF02011874zbMath0407.03035OpenAlexW2315072099MaRDI QIDQ4193441

Georges Blanc

Publication date: 1978

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137951

zbMATH Keywords

Natural Equivalence of CategoriesPreservation of First Order PropertiesZ.339.02024

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

Univalent Foundations and the Equivalence Principle ⋮ Univalent foundations as structuralist foundations ⋮ Comparing material and structural set theories

Cites Work

• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Unnamed Item
• Unnamed Item

This page was built for publication: Équivalence naturelle et formules logiques en théorie des catégories