Corfield, David Neil (2016) Expressing ‘The Structure of’ in Homotopy Type Theory. [Preprint]

PDF The_Structure.pdf - Draft Version Download (187kB)

Abstract

In this article I show that when working in the new foundational language, homotopy type theory, there is no need to use the word 'structure', since it intrinsically built into the language. I also explain how we can consider mathematicians' use of 'the' where there appear to be multiple possible referents.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Corfield, David Neil d.corfield@kent.ac.uk
Keywords:	homotopy type theory, structure
Subjects:	Specific Sciences > Mathematics
Depositing User:	Dr. David Corfield
Date Deposited:	15 Jan 2016 18:47
Last Modified:	15 Jan 2016 18:47
Item ID:	11862
Subjects:	Specific Sciences > Mathematics
Date:	15 January 2016
URI:	https://philsci-archive.pitt.edu/id/eprint/11862

Available Versions of this Item

• Expressing ‘The Structure of’ in Homotopy Type Theory. (deposited 15 Jan 2016 18:47) [Currently Displayed]
  • Expressing ‘The Structure of’ in Homotopy Type Theory. (deposited 21 Sep 2017 19:01)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item