Correction to: Expressing ‘the structure of’ in homotopy type theory

Synthese 197 (2):701-701 (2020)
  Copy   BIBTEX

Abstract

The original article has been corrected. The article is published with Open Access but was missing Open Access information. This has been added.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s11229-018-1724-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Homotopy limits in type theory.Jeremy Avigad, Krzysztof Kapulkin & Peter Lefanu Lumsdaine - unknown
Natural models of homotopy type theory.Steve Awodey - unknown
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
Identity in HoTT, Part I.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.
Voevodsky’s Univalence Axiom in Homotopy Type Theory.Steve Awodey, Alvaro Pelayo & Michael A. Warren - unknown
The vertical unity of concepts in mathematics through the lens of homotopy type theory.David Neil Corfield - unknown
Copredication in homotopy type theory.Hamidreza Bahramian - manuscript
A Primer on Homotopy Type Theory Part 1: The Formal Type Theory.James Ladyman & Stuart Presnell - unknown
Homotopy type theory and the vertical unity of concepts in mathematics.Corfield David - 2017 - In Elizabeth de Freitas, Nathalie Sinclair & Alf Coles (eds.), What is a Mathematical Concept? Cambridge, U.K: Cambridge University Press. pp. 125-142.
Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.
Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT.James Ladyman & Stuart Presnell - 2017 - Philosophia Mathematica 25 (2):210-245.
Combinatorial realizability models of type theory.Pieter Hofstra & Michael A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):957-988.
Mathematical Forms and Forms of Mathematics: Leaving the Shores of Extensional Mathematics.Jean-Pierre Marquis - 2013 - Synthese 190 (12):2141-2164.

Analytics

Added to PP
2018-03-20

Downloads
19 (#781,160)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Corfield
University of Kent at Canterbury

Citations of this work

The Hole Argument, take n.John Dougherty - 2020 - Foundations of Physics 50 (4):330-347.

Add more citations

References found in this work

No references found.

Add more references