PhilSci Archive

Expressing ‘The Structure of’ in Homotopy Type Theory

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

WarningThere is a more recent version of this item available.
[img] 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:
CreatorsEmailORCID
Corfield, David Neild.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

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item