« first day (3011 days earlier)      last day (28 days later) » 

3:50 AM
@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
 
 
3 hours later…
7:11 AM
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)
 
 
14 hours later…
9:36 PM
@EricPeterson Aha, thanks!
 

« first day (3011 days earlier)      last day (28 days later) »