The first definition of the category of Poisson algebras that comes to mind is that a morphism between Poisson algebras is an algebra homomorphism that is also a Lie algebra homomorphism with respect to the Poisson bracket. This definition does not seem to be easily compatible with how people actually use Poisson algebras (in particular rings of functions on Poisson manifolds):

• A Poisson-Lie group is not a group object in the opposite of the category of Poisson algebras because inversion negates the Poisson bracket.
• The standard choice of bracket on the tensor product of two Poisson algebras is not a categorical coproduct (if I have the correct general definition: it's defined by the requirements that it restricts to the given brackets on two Poisson algebras $A, B$ and that every element of $A$ Poisson-commutes with every element of $B$).

This suggests to me that if we used a different choice of morphisms, we might get actual group objects and an actual categorical coproduct. So are there any nice choices that do this?

I read somewhere on MO that the correct definition of a morphism between Poisson manifolds is a Lagrangian submanifold of their product. How does this generalize to Poisson algebras? Does it fix the two issues above? (I'm a little more pessimistic about the second issue, so if there's a different general principle that leads to the standard choice, I would be interested in hearing about that as well.)

Edit: The discussion in my previous question about Poisson-Lie groups seems relevant, and perhaps it shows that the above point of view is misguided. Any Poisson algebra $A$ admits an "opposite" $A^{op}$ given by negating the Poisson bracket, and then inversion in a Poisson-Lie group is a "contravariant morphism" rather than a morphism. This suggests to me that it might make more sense to look for a bicategory of Poisson algebras similar to the bimodule bicategory.