4 citations · 4 across the 3 of their papers we have counts for
Showing math.ATShow all
2 papers · 1 filter
math.AT2025
The Steenrod squares via unordered joins
Axel Ljungström, David Wärn
The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them…
math.AT2022★ 4 cited
Computing Cohomology Rings in Cubical Agda
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first…