project-adjoint-monoids