« first day (2214 days earlier)      last day (30 days later) » 

9:50 AM
Does anyone know what precise statement Lurie had in mind in HTT Rmk 6.3.6.5? Also, is there a relationship between the algebraic/fully faithful factorisation of a morphism f of topoi in 6.3.6.2 and the relative shape of f seen as a pro-object in the target?
 

« first day (2214 days earlier)      last day (30 days later) »