Identity and intensionality in univalent foundations and philosophy

DOI10.1007/s11229-016-1301-zOpenAlexW2580851395WikidataQ59611972 ScholiaQ59611972MaRDI QIDQ2695034

Staffan Angere

Publication date: 30 March 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-016-1301-z

zbMATH Keywords

intensionalityhomotopy type theoryidentityunivalent foundations

Mathematics Subject Classification ID

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

Related Items (1)

Trust and the value of overconfidence: a Bayesian perspective on social network communication

Uses Software

• LPL software

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logical structure of truthmaking
• Intensionality in mathematics
• Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
• Homotopical algebra
• The algebra of topology
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Homotopy theoretic models of identity types
• Structuralism, Invariance, and Univalence
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)
• Intensional interpretations of functionals of finite type I

This page was built for publication: Identity and intensionality in univalent foundations and philosophy