Suppose $A\dashv B\colon \cal H\to K$ are adjoint functors; if the comonad $AB$ has a right adjoint $T\colon\cal K\to K$ then $T$ is a monad in a natural way.

I would like to tell when "$T$ can be factored through $B$", i.e. $T=CB$ for some $B\dashv C$, $C\colon \cal H\to K$.

This is sort of a converse to the general statement that when you have $A\dashv B\dashv C$ then the comonad $AB$ has as right adjoint the monad $CB$.

Since my interest in this question comes from cartesian closed categories (I can provide details, see below), I tried to skim the Elephant looking for a clue, but I didn't find the right keyword... can you help me?

Edit: This is where I found the problem: consider a category with pullbacks $\cal C$ and the functor ${\cal C}/U\to {\cal C}/V$ obtained by an arrow $\varphi\colon V\to U$; it is well known that if $\cal C$ is a topos, then there is an adjunction $$ (\Sigma_\varphi \dashv \varphi^*\dashv \Pi_\varphi) \colon {\cal C}/V\underset{\xrightarrow[\Pi_\varphi]{}}{\overset{\xrightarrow{\Sigma_\varphi}}{\longleftarrow}} {\cal C}/U $$ and since the functor $\Sigma_\varphi\circ \varphi^*$ (a comonad) coincides with "pulling back with $\varphi$" (without changing base), the right adjoint $\Pi_\varphi\circ \varphi^*$ must be the internal hom in ${\cal C}/U$, so it is cartesian closed.

Suppose now that you don't know $\cal C$ is a topos, but suppose that you know that $\Sigma_\varphi\circ \varphi^*$ has a right adjoint $T$, forced to be a monad. If you are able to factor $T$ along $\varphi^*$ as $T=P_\varphi\circ \varphi^*$ then there is a unique choice for $P_\varphi$. If this factorization is possible, then ${\cal C}/U$ is cartesian closed.

But when is this possible? Skimming through the nlab page about LCCC I see (Prop. 2) that whenever every slice category ${\cal C}/U$ is a cartesian closed category, then for every morphism $f\colon X\to Y$ the dependent product $f^*\dashv \Pi_f$ exists. This seems to entail the "constrained factorization" I wondered, since this is telling you that anytime $\Sigma_f\circ f^*$ admits a right adjoint, this right adjoint factors through $f^*$.

So my question: I wanted to generalize this to other contexts.

Suppose $A\dashv B\colon \cal H\to K$ are adjoint functors; if the comonad $AB$ has a right adjoint $T\colon\cal K\to K$ then $T$ is a monad in a natural way.

I would like to tell when "$T$ can be factored through $B$", i.e. $T=CB$ for some $B\dashv C$, $C\colon \cal H\to K$.

This is sort of a converse to the general statement that when you have $A\dashv B\dashv C$ then the comonad $AB$ has as right adjoint the monad $CB$.

Since my interest in this question comes from cartesian closed categories (I can provide details, see below), I tried to skim the Elephant looking for a clue, but I didn't find the right keyword... can you help me?

Edit: This is where I found the problem: consider a category with pullbacks $\cal C$ and the functor ${\cal C}/U\to {\cal C}/V$ obtained by an arrow $\varphi\colon V\to U$; it is well known that if $\cal C$ is a topos, then there is an adjunction $$ (\Sigma_\varphi \dashv \varphi^*\dashv \Pi_\varphi) \colon {\cal C}/V\underset{\xrightarrow[\Pi_\varphi]{}}{\overset{\xrightarrow{\Sigma_\varphi}}{\longleftarrow}} {\cal C}/U $$ and since the functor $\Sigma_\varphi\circ \varphi^*$ (a comonad) coincides with "pulling back with $\varphi$" (without changing base), the right adjoint $\Pi_\varphi\circ \varphi^*$ must be the internal hom in ${\cal C}/U$, which is hence cartesian closed.

Suppose now that you don't know $\cal C$ is a topos, but suppose that you know that $\Sigma_\varphi\circ \varphi^*$ has a right adjoint $T$, forced to be a monad. If you are able to factor $T$ along $\varphi^*$ as $T=P_\varphi\circ \varphi^*$ then there is a unique choice for $P_\varphi$. If this factorization is possible for a particular $\varphi$, then ${\cal C}/U$ is cartesian closed.

Skimming through the nlab page about LCCC I see (Prop. 2) that whenever every slice category ${\cal C}/U$ is a cartesian closed category (i.e. $\Sigma_\varphi \varphi^*\dashv T$ for any $\varphi$), then for every morphism $\varphi\colon X\to Y$ the dependent product $\varphi^*\dashv \Pi_f$ exists. This is the "constrained factorization" I wondered, since this is telling you that anytime $\Sigma_\varphi\circ \varphi^*$ admits a right adjoint, this right adjoint factors through $\varphi^*$ giving your "dependent product".

So we come my question: I wanted to generalize this situation to other contexts.

Suppose $A\dashv B\colon \cal H\to K$ are adjoint functors; if the comonad $AB$ has a right adjoint $T\colon\cal K\to K$ then $T$ is a monad in a natural way.

I would like to tell when "$T$ can be factored through $B$", i.e. $T=CB$ for some $B\dashv C$, $C\colon \cal H\to K$.

This is sort of a converse to the general statement that when you have $A\dashv B\dashv C$ then the comonad $AB$ has as right adjoint the monad $CB$.

Since my interest in this question comes from cartesian closed categories (I can provide details, but I don't think it would be useful for the moment), I tried to skim the Elephant looking for a clue, but I didn't find the right keyword... can you help me?

Suppose $A\dashv B\colon \cal H\to K$ are adjoint functors; if the comonad $AB$ has a right adjoint $T\colon\cal K\to K$ then $T$ is a monad in a natural way.

I would like to tell when "$T$ can be factored through $B$", i.e. $T=CB$ for some $B\dashv C$, $C\colon \cal H\to K$.

This is sort of a converse to the general statement that when you have $A\dashv B\dashv C$ then the comonad $AB$ has as right adjoint the monad $CB$.

Since my interest in this question comes from cartesian closed categories (I can provide details, see below), I tried to skim the Elephant looking for a clue, but I didn't find the right keyword... can you help me?

Edit: This is where I found the problem: consider a category with pullbacks $\cal C$ and the functor ${\cal C}/U\to {\cal C}/V$ obtained by an arrow $\varphi\colon V\to U$; it is well known that if $\cal C$ is a topos, then there is an adjunction $$ (\Sigma_\varphi \dashv \varphi^*\dashv \Pi_\varphi) \colon {\cal C}/V\underset{\xrightarrow[\Pi_\varphi]{}}{\overset{\xrightarrow{\Sigma_\varphi}}{\longleftarrow}} {\cal C}/U $$ and since the functor $\Sigma_\varphi\circ \varphi^*$ (a comonad) coincides with "pulling back with $\varphi$" (without changing base), the right adjoint $\Pi_\varphi\circ \varphi^*$ must be the internal hom in ${\cal C}/U$, so it is cartesian closed.

Suppose now that you don't know $\cal C$ is a topos, but suppose that you know that $\Sigma_\varphi\circ \varphi^*$ has a right adjoint $T$, forced to be a monad. If you are able to factor $T$ along $\varphi^*$ as $T=P_\varphi\circ \varphi^*$ then there is a unique choice for $P_\varphi$. If this factorization is possible, then ${\cal C}/U$ is cartesian closed.

But when is this possible? Skimming through the nlab page about LCCC I see (Prop. 2) that whenever every slice category ${\cal C}/U$ is a cartesian closed category, then for every morphism $f\colon X\to Y$ the dependent product $f^*\dashv \Pi_f$ exists. This seems to entail the "constrained factorization" I wondered, since this is telling you that anytime $\Sigma_f\circ f^*$ admits a right adjoint, this right adjoint factors through $f^*$.

So my question: I wanted to generalize this to other contexts.