I use bussproofs all the time, but here's a scenario that I have yet to solve. I want to typeset the following in such a way that the "in [CATEGORY]" additions to the right, aslign with the baselines of the bussproofs tree. (Of course I don't want to just put the texts into the 'tree', that would defeat the purpose.) Ideally, the texts would additionally be right-aligned.
This example just has two bussproof trees aligned side by side, but the double line vs no line difference makes them have different heights. (And, other typographical things could worsen the situation.)
Does anybody have some cool trick to offer?
\documentclass{article}
\usepackage{amsmath}
\usepackage{bussproofs}
\begin{document}
\begin{align*}
\AxiomC{$\mathsf{Forget}(A) \xrightarrow{f} Y$}
\doubleLine
\UnaryInfC{$A \xrightarrow{g} \nabla Y$}
\DisplayProof
\AxiomC{$\textrm{in \textbf{Set}}$}
\noLine
\UnaryInfC{$\textrm{in $D$-\textbf{Set}}$}
\DisplayProof
\end{align*}
\end{document}
\rlap{\quad\textrm{...}}
\[
if it is a single row with no&
as here,