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)

Primary Text

Download (1MB) | Preview


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.


Social Networking:
Share |


Item Type: University of Pittsburgh ETD
Status: Unpublished
CreatorsEmailPitt UsernameORCID
Kapulkin, Krzysztofkrk56@pitt.eduKRK56
ETD Committee:
TitleMemberEmail AddressPitt UsernameORCID
Committee ChairHales, Thomashales@pitt.eduHALES
Committee MemberAvigad,
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


Monthly Views for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item