Structure in Mathematics and Logic: A Categorical Perspective

DOI10.1093/philmat/4.3.209zbMath0874.00012OpenAlexW2023427878MaRDI QIDQ4344177

Steven Awodey

Publication date: 14 October 1997

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/4.3.209

zbMATH Keywords

categorytoposlogical structurestructuralist philosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (12)

Mathematical pluralism: The case of smooth infinitesimal analysis ⋮ Higher Structures in M‐Theory ⋮ From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ Set Theory and Structures ⋮ Comparing material and structural set theories ⋮ On representational capacities, with an application to general relativity ⋮ THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977 ⋮ Structuralism and meta-mathematics ⋮ What we talk about when we talk about numbers ⋮ On three arguments against categorical structuralism ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Structuring co-constructive logic for proofs and refutations

This page was built for publication: Structure in Mathematics and Logic: A Categorical Perspective