theHigherGeometer thehighergeometer.wordpress.com

PSA: a category satisfying all but the smallness condition from Giraud’s theorem…

thehighergeometer.wordpress.com·23w

An example of a presheaf without an associated sheaf

thehighergeometer.wordpress.com·24w

A game strategy that depends on the Continuum Hypothesis

thehighergeometer.wordpress.com·26w

The ATLAS of Finite Groups is sound

thehighergeometer.wordpress.com·33w

Glue work instead of pasting diagrams

thehighergeometer.wordpress.com·39w

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

thehighergeometer.wordpress.com·45w

Infinite descent in ancient times

thehighergeometer.wordpress.com·69w

Morphisms between abelian differentiable gerbes

thehighergeometer.wordpress.com·79w

Small fun observation about finite topological spaces, and some challenges

thehighergeometer.wordpress.com·86w

Abelian differentiable gerbes – recap

thehighergeometer.wordpress.com·87w

Type-theoretic considerations in functional language software development

thehighergeometer.wordpress.com·87w

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

thehighergeometer.wordpress.com·88w

Transcription and translation of Grothendieck’s 1972 CERN talk

thehighergeometer.wordpress.com·101w

DOIs for Theory and Applications of Categories!!

thehighergeometer.wordpress.com·102w

Translation project: Dedekind’s second definition of finite set

thehighergeometer.wordpress.com·114w

Ctrl-z, 18 years later — “Yang-Mills theory for bundle gerbes” is now retracted

thehighergeometer.wordpress.com·121w

Log in to enable infinite scrolling