Choice axioms and Postnikov completeness
Algebraic Topology
2024-04-29 v2 Category Theory
Logic
Abstract
We introduce homotopical variants of the axioms of countable and dependent choice for infinity-topoi and use them to give criteria for Postnikov completeness, revisiting a result of Mondal and Reinecke.
Cite
@article{arxiv.2403.19772,
title = {Choice axioms and Postnikov completeness},
author = {Mathieu Anel and Reid Barton},
journal= {arXiv preprint arXiv:2403.19772},
year = {2024}
}
Comments
v2 improved somme lemmas, added some remarks