| Title:
|
Choice Axioms and Postnikov Completeness (English) |
| Author:
|
Anel, Mathieu |
| Author:
|
Barton, Reid |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
10 |
| Issue:
|
1 |
| Year:
|
2026 |
| Pages:
|
22-39 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We introduce homotopical variants of the axioms of countable and dependent choice for $\infty$-topoi and use them to give criteria for Postnikov completeness, revisiting a result of Mondal and Reinecke. (English) |
| Keyword:
|
Choice axioms |
| Keyword:
|
Homotopical dimension |
| Keyword:
|
Postnikov towers |
| Keyword:
|
Topos |
| MSC:
|
03G30 |
| MSC:
|
18G20 |
| MSC:
|
18N60 |
| DOI:
|
10.21136/HS.2026.02 |
| . |
| Date available:
|
2026-09-17T12:41:29Z |
| Last updated:
|
2026-09-17 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153754 |
| . |
| Reference:
|
[1] Anel, M., Biedermann, G., Finster, E., Joyal, A.: A generalized Blakers–Massey theorem,.Journal of Topology 13, no. 4, 1521–1553, doi:10.1112/topo.12163 10.1112/topo.12163 |
| Reference:
|
[2] Anel, M., Biedermann, G., Finster, E., Joyal, A.: Left-exact localizations of $\infty$-̄topoi II: Grothendieck topologies,.Journal of Pure and Applied Algebra 228, no. 3, 107472, doi:10.1016/j.jpaa.2023.107472 10.1016/j.jpaa.2023.107472 |
| Reference:
|
[3] Bhatt, B., Scholze, P.: The pro-étale topology for schemes,.Astérisque 369, 99–201 |
| Reference:
|
[4] Clausen, D., Scholze, P.: Analytic Stacks,.Lecture Course (2023–2024). Available on YouTube |
| Reference:
|
[5] Dugger, D., Hollander, S., Isaksen, D. C.: Hypercovers and simplicial presheaves,.Mathematical Proceedings of the Cambridge Philosophical Society 136, no. 1, 9–51 |
| Reference:
|
[6] Engelking, R.: Dimension theory,.Mathematical Studies, North-Holland |
| Reference:
|
[7] The Univalent Foundations Program: Homotopy type theory: Univalent foundations of mathematics,.Institute for Advanced Study, on the HoTT website |
| Reference:
|
[8] Jech, T. J.: The axiom of choice,.Studies in Logic and the Foundations of Mathematics, Vol. 75, North-Holland, Amsterdam-London; American Elsevier, New York |
| Reference:
|
[9] Jensen, R. B.: Consistency results for ZF,.Notices of the Amer. Math. Soc. 14, no. 1, 137 |
| Reference:
|
[10] Lurie, J.: Higher topos theory,.Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton |
| Reference:
|
[11] Lurie, J.: Spectral algebraic geometry,.version of February 3, Online book |
| Reference:
|
[12] Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory,.Universitext, Springer New York |
| Reference:
|
[13] Mejak, S.: Topos models of set-theoretic principles,.Master's thesis, University of Ljubljana. https://www.researchgate.net/publication/334737639_TOPOS_MODELS_OF_SET-THEORETIC_PRINCIPLES |
| Reference:
|
[14] Milner, O.: choicepostnikov github repository.https://github.com/owen-milner/choicepostnikov |
| Reference:
|
[15] Mondal, S., Reinecke, E.: On Postnikov completeness for replete topoi,.arXiv:2210.14146 |
| Reference:
|
[16] authors, nLab: Elementary $(\infty,1)$-topos,.nLab page, June 2021 |
| Reference:
|
[17] Rasekh, N.: A Theory of Elementary Higher Toposes,.arXiv:1805.03805 |
| Reference:
|
[18] Rezk, C.: Toposes and Homotopy Toposes,.Note, available on Rezk's homepage |
| Reference:
|
[19] Roos, J.-E.: Derived Functors of Inverse Limits Revisited,.Journal of the London Mathematical Society 73, no. 1, 65–83 10.1112/S0024610705022416 |
| . |
