theHigherGeometer

Glue work instead of pasting diagrams

BB(5)=47,176,870: BB(6) is … astronomically larger

Infinite descent in ancient times

Morphisms between abelian differentiable gerbes

Small fun observation about finite topological spaces, and some challenges

Abelian differentiable gerbes – recap

Type-theoretic considerations in functional language software development

Two items: a new rare high-rank elliptic curve, and a beautifully-organised orchard of Diophantine equations

Transcription and translation of Grothendieck’s 1972 CERN talk

DOIs for Theory and Applications of Categories!!