@WilliamBalderrama i think this is in Banach algebras and Bott periodicity, in the guise of an identification of the space after BO x Z in the Omega-spectrum of KO as U/O — as in, there is a nontrivial fiber sequence KO_1 –> KO_0 –> KU_0
dunno if this is the first such Wood reference, but i think it is a Wood reference
Does anyone have a reference or a proof of the fact that in a hypercomplete infinity-topos, the subcategory of coherent objects is essentially small? Lurie remarks that this is true in SAG A.6.6.2, but he doesn't give a proof
(to be fair, Lurie gives a proof for the case of locally coherent hypercomplete infinity-topoi, but apparently the condition locally coherent can be dropped)
