Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Krzysztof Ryszard Kapulkin

Original record
Institution
University of Pittsburgh
Year
2014
Country
United States
MGP identifier
185790

Dissertation: Joyal's Conjecture in Homotopy Type Theory

Mathematics Subject Classification: 18—Category theory, homological algebra

Advisor 1

Students 2

NameInstitutionYearStudents
Brandon Carl Leigh DohertyUniversity of Western Ontario20210
Udit Ajit MavinkurveUniversity of Western Ontario20240
Genealogy