Pierre-Yves-Gaillard/HoTT-Zorn
A HoTT Book Theoretic Zorn's Lemma
Developer Profile
Pierre-Yves-Gaillard
Discovered public repositories for Pierre-Yves-Gaillard in the GitHub catalog.
Pierre-Yves-Gaillard/HoTT_Reading_Notes
Informal comments on the HoTT Book. PDF file: http://iecl.univ-lorraine.fr/~Pierre-Yves.Gaillard/HoTT/ReadingNotes/HoTT_Reading_Notes_a.pdf
Pierre-Yves-Gaillard/book
A textbook on informal homotopy type theory
Pierre-Yves-Gaillard/retyping
Retyping of the Appendix "Univers", signed by Bourbaki but presumably written by Grothendieck, to the SGA 4.1 Exposé "Préfaisceaux" by Grothendieck and Verdier
Pierre-Yves-Gaillard/selected_texts
I put together four short texts I have written
Pierre-Yves-Gaillard/acs
About "Categories and Sheaves"