scientific article; zbMATH DE number 1136106

zbMath0896.03051MaRDI QIDQ4381416

Michael Makkai

Publication date: 21 September 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

anafunctorfirst-order logic with dependent sortssaturated anabicategorystructuralist foundation of abstract mathematicsweak \(n\)-dimensional categories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Related Items (9)

Univalent Foundations and the Equivalence Principle ⋮ Set Theory and Structures ⋮ Univalent foundations as structuralist foundations ⋮ Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics ⋮ An introduction to univalent foundations for mathematicians ⋮ On weak higher-dimensional categories. I: Part 3 ⋮ Categories with families and first-order logic with dependent sorts ⋮ The structuralist mathematical style: Bourbaki as a case study ⋮ On weak higher dimensional categories. I: Part 1

This page was built for publication: