Link to the University of Pittsburgh Homepage
Link to the University Library System Homepage Link to the Contact Us Form

Joyal's Conjecture in Homotopy Type Theory

Kapulkin, Krzysztof (2014) Joyal's Conjecture in Homotopy Type Theory. Doctoral Dissertation, University of Pittsburgh. (Unpublished)

[img]
Preview
PDF
Primary Text

Download (1MB) | Preview

Abstract

Joyal's Conjecture asserts, in a mathematically precise way, that Martin--Lof dependent type theory gives rise to locally cartesian closed quasicategories. We prove this conjecture.


Share

Citation/Export:
Social Networking:
Share |

Details

Item Type: University of Pittsburgh ETD
Status: Unpublished
Creators/Authors:
CreatorsEmailPitt UsernameORCID
Kapulkin, Krzysztofkrk56@pitt.eduKRK56
ETD Committee:
TitleMemberEmail AddressPitt UsernameORCID
Committee ChairHales, Thomashales@pitt.eduHALES
Committee MemberAvigad, Jeremyavigad@cmu.edu
Committee MemberIon, Bogdanbion@pitt.eduBION
Committee MemberSati, Hishamhsati@pitt.eduHSATI
Date: 22 September 2014
Date Type: Publication
Defense Date: 20 May 2014
Approval Date: 22 September 2014
Submission Date: 30 May 2014
Access Restriction: 1 year -- Restrict access to University of Pittsburgh for a period of 1 year.
Number of Pages: 147
Institution: University of Pittsburgh
Schools and Programs: Dietrich School of Arts and Sciences > Mathematics
Degree: PhD - Doctor of Philosophy
Thesis Type: Doctoral Dissertation
Refereed: Yes
Uncontrolled Keywords: abstract homotopy theory, models of type theory, logic
Date Deposited: 22 Sep 2014 20:53
Last Modified: 15 Nov 2016 14:20
URI: http://d-scholarship.pitt.edu/id/eprint/21718

Metrics

Monthly Views for the past 3 years

Plum Analytics


Actions (login required)

View Item View Item