« first day (2480 days earlier)      last day (923 days later) » 

10:19
Can you always pullback accessible t-structures along left/right adhoints between presentable $\infty$-categories?
Let $F: \mathcal{C} \to \mathcal{D}$ be a left adjoint functor of presentable $\infty$-categories (preserving $\kappa$-compact objects for some $\kappa$) and let $\mathcal{D}_{\ge 0}$ be the connective part of an accessible t-structure on $\mathcal{D}$. Then I want to say that $\mathcal{C}_{\ge 0} = \{X \in \mathcal{C} | F(X) \in \mathcal{D}_{\ge 0}\}$ is always the connective part of a t-structure on $\mathcal{C}$.
Similarly if $G: \mathcal{D} \to \mathcal{C}$ is an accssible right adjoint and $\mathcal{C}_{\le 0}$ the co-connective part of a t-structure on $\mathcal{C}$ I believe $\{X \in \mathcal{D} | G(X) \in \mathcal{C}_{\le 0} \}$ should be the coconnective part of an accessible t-structure on $\mathcal{D}$.
I believe these are simple consequences of general stuff about presentable categories and HA 1.2.1.16, just want to make sure I'm not missing here an important point.
Oh, forgot to say that $F$ and $G$ are exact.
And $\mathcal{C}$ and $\mathcal{D}$ are stable of course.
 
9 hours later…
19:32
Tomer Schlank is not around so i'll advertise :-) He is giving a talk on Tuesday at the msri seminar about ambidexterity and Galois extensions:
https://www.msri.org/seminars/24956.
and probably some other stuff as well I hope

« first day (2480 days earlier)      last day (923 days later) »