Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT

&
Philosophia Mathematica:nkw023 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkw023

Links

PhilArchive



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

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

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.
Identity in HoTT, Part I.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
Homotopy Type Theory and Structuralism.Teruji Thomas - 2014 - Dissertation, University of Oxford
The Hole Argument in Homotopy Type Theory.James Ladyman & Stuart Presnell - 2020 - Foundations of Physics 50 (4):319-329.
Universes and univalence in homotopy type theory.James Ladyman & Stuart Presnell - 2019 - Review of Symbolic Logic 12 (3):426-455.
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.
Natural models of homotopy type theory.Steve Awodey - unknown
Expressing ‘the structure of’ in homotopy type theory.David Corfield - 2017 - Synthese 197 (2):681-700.
Mind-body identity revised.Chenyang Li - 1994 - Philosophia 24 (1-2):105-114.
Copredication in homotopy type theory.Hamidreza Bahramian - manuscript
Homotopy limits in type theory.Jeremy Avigad, Krzysztof Kapulkin & Peter Lefanu Lumsdaine - unknown
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
A meaning explanation for HoTT.Dimitris Tsementzis - 2020 - Synthese 197 (2):651-680.
What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.

Analytics

Added to PP
2022-07-12

Downloads
26 (#608,273)

6 months
9 (#302,300)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Identity.Peter T. Geach - 1967 - Review of Metaphysics 21 (1):3 - 12.
Criteria of identity and structuralist ontology.Hannes Leitgib & James Ladyman - 2008 - Philosophia Mathematica 16 (3):388-396.
Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.

View all 11 references / Add more references