3 papers
math.CT2026
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
Tom de Jong, Nicolai Kraus, Axel Ljungström
Simplicial type theory extends homotopy type theory and equips types with a notion of directed morphisms. A Segal type is defined to be a type in which these directed morphisms can…
cs.LO2025
Formalising Inductive and Coinductive Containers
Stefania Damato, Thorsten Altenkirch, Axel Ljungström
Containers capture the concept of strictly positive data types in programming. The original development of containers is done in the internal language of locally cartesian closed c…
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…