Pinned Repositories
About-Topology-by-Munkres
We make a comments about the book Topology by James R. Munkres. This is a work in progress.
About-LADR-by-Axler
We make a comments about the book "Linear Algebra Done Right" by Sheldon Axler. This is a work in progress.
Atiyah_MacDonald_c
About Atiyah and MacDonald's Book
Atiyah_MacDonald_b
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
acs
About "Categories and Sheaves"
book
A textbook on informal homotopy type theory
HoTT-Zorn
A HoTT Book Theoretic Zorn's Lemma
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
selected_texts
I put together four short texts I have written
Pierre-Yves-Gaillard's Repositories
Pierre-Yves-Gaillard/Atiyah_MacDonald_c
About Atiyah and MacDonald's Book
Pierre-Yves-Gaillard/About-Topology-by-Munkres
We make a comments about the book Topology by James R. Munkres. This is a work in progress.
Pierre-Yves-Gaillard/Atiyah_MacDonald_b
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/acs
About "Categories and Sheaves"
Pierre-Yves-Gaillard/About-LADR-by-Axler
We make a comments about the book "Linear Algebra Done Right" by Sheldon Axler. This is a work in progress.
Pierre-Yves-Gaillard/book
A textbook on informal homotopy type theory
Pierre-Yves-Gaillard/HoTT-Zorn
A HoTT Book Theoretic Zorn's Lemma
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/selected_texts
I put together four short texts I have written
Pierre-Yves-Gaillard/wordlesolver
Solver for Wordle