Expressing `the structure of' in homotopy type theory

DOI10.1007/s11229-017-1569-7zbMath1475.03022OpenAlexW2236593899WikidataQ58155589 ScholiaQ58155589MaRDI QIDQ2054123

David Corfield

Publication date: 1 December 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-017-1569-7

zbMATH Keywords

homotopy type theorystructuralismdefinite description

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38)

Related Items (1)

The hole argument, take \(n\)

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Identity Problem for Realist Structuralism
• Structuralism, Invariance, and Univalence

This page was built for publication: Expressing `the structure of' in homotopy type theory