Cover Image

The Steenrod squares via unordered joins

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ljungström, Axel, Wärn, David
Format:	Preprint
Published:	2025
Subjects:	Algebraic Topology Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symmetric Monoidal Smash Products in Homotopy Type Theory
by: Ljungström, Axel
Published: (2024)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
by: Ljungström, Axel, et al.
Published: (2023)

Computational Synthetic Cohomology Theory in Homotopy Type Theory
by: Ljungström, Axel, et al.
Published: (2024)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
by: Wärn, David
Published: (2023)

Central H-spaces and banded types
by: Buchholtz, Ulrik, et al.
Published: (2023)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

Classifying covering types in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2025)

Hypercubical manifolds in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2025)

Delooping cyclic groups with lens spaces in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2024)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

Persistent homology of partially ordered spaces
by: Calk, Cameron, et al.
Published: (2023)

Formalizing the zigzag construction of path spaces of pushouts
by: Štěpančík, Vojtěch
Published: (2025)

Computational techniques for sheaf cohomology of locally profinite sets
by: Schachner, Mark
Published: (2026)

Path spaces of pushouts
by: Wärn, David
Published: (2024)

On Steenrod squares for even and odd Khovanov homology
by: Rajapakse, Advika
Published: (2025)

Modal Fracture of Higher Groups
by: Myers, David Jaz
Published: (2021)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

On the Formalization of Network Topology Matrices in HOL
by: Aksoy, Kubra, et al.
Published: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Two second Steenrod squares for odd Khovanov homology
by: Schuetz, Dirk
Published: (2022)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

A synthetic construction of universal cocartesian fibrations
by: Sattler, Christian, et al.
Published: (2026)

On cohomology of locally profinite sets
by: Aoki, Ko
Published: (2024)

On the hyperreal dual Steenrod algebra
by: Hill, Michael A., et al.
Published: (2026)

A Steenrod Square for Link Floer Homology
by: Tao, Yan
Published: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
by: Wemmenhove, Jelle, et al.
Published: (2024)

Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

Basic Category Theory
by: Leinster, Tom
Published: (2016)

Interpreting type theory in a quasicategory: a Yoneda approach
by: Cherradi, El Mehdi
Published: (2022)

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

Stratifying Reinforcement Learning with Signal Temporal Logic
by: Curry, Justin, et al.
Published: (2026)

Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)