Pierre-Yves-Gaillard/weil-beginners-exercises
Solutions to some exercises in Weil's book "Number Theory for Beginners".
Repositories
Pierre-Yves-Gaillard/peano-systems
Working from first principles, we establish some basic properties of Peano systems.
Pierre-Yves-Gaillard/halmos-rewriting
Rewriting of some proofs from Halmos's wonderful book "Naive Set Theory"
Pierre-Yves-Gaillard/quadratic-reciprocity
The purpose of this text is to give a proof of Quadratic Reciprocity which is, in some sense, an additive version of the standard proof of Gauss's Lemma
Pierre-Yves-Gaillard/Hanoi
Some basic statements about the Tower of Hanoi
Pierre-Yves-Gaillard/Number-of-elements-of-a-finite-set
We define the number of elements of a finite set
Pierre-Yves-Gaillard/Atiyah_MacDonald_c
About Atiyah and MacDonald's Book
Pierre-Yves-Gaillard/Artin-poset-to-ordinals
Pierre-Yves-Gaillard/The-Transfinite-Recursion-Theorem
The only purpose of this short text is to point out that the Transfinite Recursion Theorem is a particular case of the Transfinite Induction Theorem.
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/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/Atiyah_MacDonald_b
Pierre-Yves-Gaillard/wordlesolver
Solver for Wordle
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/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/HoTT-Zorn
A HoTT Book Theoretic Zorn's Lemma
Pierre-Yves-Gaillard/selected_texts
I put together four short texts I have written
Pierre-Yves-Gaillard/book
A textbook on informal homotopy type theory