Pierre.Yves.Gaillard at gmail.com, Institut Élie Cartan, Université de Lorraine, PB 239, 54506 Vandoeuvre, France

A text about the book **Categories and Sheaves** by Masaki Kashiwara and Pierre Schapira

I believe one can never prove that a putative proof is correct.

Some comments on the HoTT Book

A HoTT Book Theoretic Zorn's Lemma

Three short texts put together: Selected Texts:

1. A short proof of the Fundamental Theorem of Galois Theory,

2. Function of a Matrix,

3. Zorn's Lemma.

Other texts

A Hodge Theorem for Noncompact Manifolds (more details)

Around the Chinese Remainder Theorem, written with Jean-Marie Didry (French version: Chinoiseries), (more details)

A Theorem of Deligne, Griffiths, Morgan and Sullivan

Are the Hodge numbers of a compact Kaehler manifold topological invariants? The problem was raised 50 years ago by Hirzebruch and solved (negatively) by Frédéric Campana. Campana's text is available in pdf format here.

VARIOUS LINKS

A nice paper of Oystein Rodseth on primality tests: "A note on primality tests for *N = h ·2 ^{n} - 1*",

Poème de Victor Hugo sur l'enseignement en géneral et l'enseignement des mathématiques en particulier: À propos d'Horace