scientific article; zbMATH DE number 1136106
From MaRDI portal
Publication:4381416
zbMath0896.03051MaRDI QIDQ4381416
Publication date: 21 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
anafunctorfirst-order logic with dependent sortssaturated anabicategorystructuralist foundation of abstract mathematicsweak \(n\)-dimensional categories
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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:
