Intensional Equality in Categories With Structure and Coherence Problems

DOI10.1002/MALQ.19880340506zbMath0635.18001OpenAlexW2139794864MaRDI QIDQ3774045

N. Lafaye de Michaux, Anne Preller

Publication date: 1988

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19880340506

zbMATH Keywords

coherencedecidabilityfoundations of category theorynatural equivalenceelementary theory of categories with structureintensional equality of objects

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Foundations, relations to logic and deductive systems (18A15) Categorical structures (18Dxx)

Related Items (1)

Unnamed Item

This page was built for publication: Intensional Equality in Categories With Structure and Coherence Problems