7 citations · 8 across the 3 of their papers we have counts for
1 paper · 2 filters
Mathieu Anel, Reid Barton
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 o…