Australian Category Seminar

The linear part of the algebras of the tangent bundle monad

Joel Richardson·29 April 2026

Tangent categories generalise the tangent bundle construction beyond differential geometry. Each tangent category carries a canonical tangent bundle monad, whose algebras (Eilenberg–Moore category) have proved difficult to characterise. In this talk we examine the linear part of the algebras of the tangent bundle monad arising in algebraic geometry, showing that they always square to zero – a result that generalises to all tangent categories.

Back