Image de couverture de livre

Computational Synthetic Cohomology Theory in Homotopy Type Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ljungström, Axel, Mörtberg, Anders
Format:	Preprint
Publié:	2024
Sujets:	Algebraic Topology Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
par: Ljungström, Axel, et autres
Publié: (2023)

Symmetric Monoidal Smash Products in Homotopy Type Theory
par: Ljungström, Axel
Publié: (2024)

The Steenrod squares via unordered joins
par: Ljungström, Axel, et autres
Publié: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Ext groups in Homotopy Type Theory
par: Christensen, J. Daniel, et autres
Publié: (2023)

Synthetic Homotopy Theory
par: Wei, Yuhang
Publié: (2024)

Automating Boundary Filling in Cubical Type Theories
par: Doré, Maximilian, et autres
Publié: (2024)

Path Types in Algebraic Type Theory
par: Awodey, Steve, et autres
Publié: (2026)

The equivariant model structure on cartesian cubical sets
par: Awodey, Steve, et autres
Publié: (2024)

Central H-spaces and banded types
par: Buchholtz, Ulrik, et autres
Publié: (2023)

Epimorphisms and Acyclic Types in Univalent Foundations
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Delooping cyclic groups with lens spaces in homotopy type theory
par: Mimram, Samuel, et autres
Publié: (2024)

Classifying covering types in homotopy type theory
par: Mimram, Samuel, et autres
Publié: (2025)

Hypercubical manifolds in homotopy type theory
par: Mimram, Samuel, et autres
Publié: (2025)

Basic Category Theory
par: Leinster, Tom
Publié: (2016)

Differential Cohomology as Diffeological Homotopy Theory
par: Scalbi, Nino
Publié: (2024)

Computational techniques for sheaf cohomology of locally profinite sets
par: Schachner, Mark
Publié: (2026)

Manifold Diagrams for Higher Categories
par: Heidemann, Lukas
Publié: (2024)

Formalising Inductive and Coinductive Containers
par: Damato, Stefania, et autres
Publié: (2024)

Persistent homology of partially ordered spaces
par: Calk, Cameron, et autres
Publié: (2023)

Coslice Colimits in Homotopy Type Theory
par: Hart, Perry, et autres
Publié: (2024)

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

Higher Semiadditivity in Transchromatic Homotopy Theory
par: Ben-Moshe, Shay
Publié: (2024)

Homotopy Theory for Ordered Simplicial Complexes
par: Wei, Melissa
Publié: (2025)

Universal Homotopy Theories and Associated Homological Algebras
par: Rouintan, Ahmad
Publié: (2023)

Equivariant Homotopy Theory via Simplicial Coalgebras
par: Alberga, Sofía Martínez, et autres
Publié: (2024)

Pluripotential Homotopy Theory
par: Stelzig, Jonas
Publié: (2023)

On Planarity of Graphs in Homotopy Type Theory
par: Prieto-Cubides, Jonathan, et autres
Publié: (2021)

On the Formalization of Network Topology Matrices in HOL
par: Aksoy, Kubra, et autres
Publié: (2026)

Comparison of Motivic Homotopy Theories
par: Tan, Tianjian
Publié: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

Picard Groups in Equivariant Algebra and Stable Homotopy Theory
par: Keyes, Jesse, et autres
Publié: (2025)

A type-theoretic definition of lax $(\infty,\infty)$-limits
par: Mikhail, Thomas Jan
Publié: (2024)

Andre-Quillen (co)homology and Equivariant Stable Homotopy Theory
par: Leeman, Ethan
Publié: (2025)

Moduli Stacks of $G$-Curves in Homotopy Theory at $h=p-1$
par: Ray, Rin
Publié: (2025)

Norms and Transfers in Motivic Homotopy Theory
par: Shin, Brian
Publié: (2023)

On cohomology of locally profinite sets
par: Aoki, Ko
Publié: (2024)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
par: Brough, Jackson
Publié: (2026)

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

Choice axioms and Postnikov completeness
par: Anel, Mathieu, et autres
Publié: (2024)