17 citations · 67 across the 15 of their papers we have counts for
1 paper · 1 filter
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…