The long exact sequence of homotopy n-groups

DOI10.1017/s0960129523000038arXiv1912.08696OpenAlexW2995282786MaRDI QIDQ6149949

Egbert Rijke, Ulrik Buchholtz

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1912.08696

zbMATH Keywords

homotopy type theorylong exact sequenceunivalent foundationshigher groups

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Butterflies. I: Morphisms of 2-group stacks
• A Picard-Brauer exact sequence of categorical groups
• The ziqqurath of exact sequences of n-groupoids
• Eilenberg-MacLane spaces in homotopy type theory
• Semantics of higher inductive types
• Higher Groups in Homotopy Type Theory
• Modalities in homotopy type theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)

This page was built for publication: The long exact sequence of homotopy n-groups