What kind of a structure is exhibited by the full-sub-$(\infty, 2)$-category of $Pr^{L,st}$ on the stable motivic homotopy categories SH(S), as S ranges over all schemes?
Question: If any of you guys talk to Lurie, or have heard anything, does he have plans to finish SAG at any point in the near future, or is he putting all of his efforts into Kerodon right now?