Joyal’s conjecture in #HoTT 1 réponse http://d-scholarship.pitt.edu/21718/1/Kapulkin-dissertation.pdf