Link to the University of Pittsburgh Homepage
Link to the University Library System Homepage Link to the Contact Us Form
D-Scholarship @ Pitt Banner and Links to Homepage

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