- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
Philosophia Mathematica:nkw023 (2016)
Abstract
This article has no associated abstract. (fix it)Author Profiles
DOI
10.1093/philmat/nkw023
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 Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
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.
Expressing ‘the structure of’ in homotopy type theory.David Corfield - 2017 - Synthese 197 (2):681-700.
Analytics
Added to PP
2022-07-12
Downloads
12 (#814,322)
6 months
12 (#92,513)
2022-07-12
Downloads
12 (#814,322)
6 months
12 (#92,513)
Historical graph of downloads
Author Profiles
References found in this work
Criteria of identity and structuralist ontology.Hannes Leitgeb & James Ladyman - 2008 - Philosophia Mathematica 16 (3):388-396.
Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.
Identity, indiscernibility, and Ante Rem structuralism: The tale of I and –I.Stewart Shapiro - 2008 - Philosophia Mathematica 16 (3):285-309.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7cdd687c8d-b6fst N