?? "taking cat x and replacing each morphism by an adjunction" ... ???? ....

?? walking adjunction as not (?? quite ??? ...) co-category object ... ??? ... ?? whereas if it were then ... ???? ....

??? some (attempted ... ?? ...) variation on "geometric realization" here ... ???? ....

?? star-cat ?? ... ??? gpd ?? .... ???? .... ??? ...

?? cartesian bicat ?? ... ??? ....

?? adjoint adjunctions ... ?? adjoint strings ... ???

?? "riemann-roch algebra" ... ??? ...

?? "hyperdoctrine" ... ??? .... ??? "adjoint hyperdoctrine" ??? .... ???? .... .... ???? "frobenius reciprocity" .... ??? .... ???? ..... ??? ..... ???? .....