The n-Category Café

To start with, a sufficient condition is certainly to demand that $t$ is an equivalence, and to let $S=\{\overline{t},i,e,\cdots \}$ be a specified weak inverse $\overline{t}$ of $t$ with specified (weak) unit $i$ and counit $e$, and, if $n>2$, further structure.

For instance, to give the simplest example, if two 1-functors $F$ and $G$ are related by an invertible natural transformation $$t:F\stackrel{\sim }{\to }G$$ we can “solve $F$ for $G$ and $t$” in that for any morphisms $a\stackrel{f}{\to }b$ in the domain, we have $$F(a)\stackrel{F(f)}{\to }F(b)=F(a)\stackrel{t(a)}{\to }G(a)\stackrel{G(f)}{\to }G(b)\stackrel{t(b{)}^{-1}}{\to }F(b)$$ with the right hand side not involving $F$ itself.

But, while demanding $t$ to be an equivalence is sufficient for doing this, it is far from necessary.

For 1-functors, the sufficient and necessary condition is that $t$ has a right inverse.

But already for 2-functors, the situation becomes more interesting. While I am not quite sure about necessity, I think that a sufficient condition for 2-functors which is truly weaker than demanding an equivalence of 2-functors is to demand that $t:F\to G$ fits into a special ambidextrous adjunction: a left and a right adjunction such that the counit of one is the right-inverse of the unit of the other. See definition 3 here.

This allows to “solve $F$ for $G$”, as described on p. 50.

Now, I have come to begin wondering about the analogous question for $n=3$.

More concretely, I am encountering the following issue: I seem to have a morphism of 3-functors, which behaves a lot like one would expect a pseudoadjunction to behave. But there is one crucial difference:

where in the defintion of an adjunction one usually has an identity morphism, I want a “weak” identity morphism: a morphism which is the identity only lax-ly and op-lax-ly, hence one which is a monad and co-monad on its domain.

I went back to Aaron Lauda’s Frobenius algebras and ambidextrous adjunctions, where on pages 16 and following Verity’s notion of pseudoadjunction is recalled, but it seems I am looking for something even weaker than that: the 2-morphisms on p. 16 labeled “$1$” I would like to allow to be just monads and comonads instead of identities.

I’d be grateful for any comments on this.