- 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
My notes
Similar books and articles
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.
Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
Representation and Spacetime: The Hole Argument Revisited.Aboutorab Yaghmaie, Bijan Ahmadi Kakavandi, Saeed Masoumi & Morteza Moniri - 2022 - International Studies in the Philosophy of Science 35 (2):171-188.
Does Homotopy Type Theory Provide a Foundation for Mathematics?Stuart Presnell & James Ladyman - 2018 - British Journal for the Philosophy of Science 69 (2):377-420.
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.
Analytics
Added to PP
2022-07-12
Downloads
42 (#531,688)
6 months
10 (#404,653)
2022-07-12
Downloads
42 (#531,688)
6 months
10 (#404,653)
Historical graph of downloads
Author Profiles
Citations of this work
References found in this work
Identity and discernibility in philosophy and logic.James Ladyman, Øystein Linnebo & Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (1):162-186.
Criteria of identity and structuralist ontology.Hannes Leitgib & James Ladyman - 2008 - Philosophia Mathematica 16 (3):388-396.
The Nature of Existence.R. F. Alfred Hoernle, John McTaggart & Ellis McTaggart - 1921 - Philosophical Review 32 (1):79.
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-559df78dcc-6qn2c uwo