Old and New

"Is any ample semigroup a full subsemigroup of an inverse semigroup?" and "Is there a faithful functor from a cancellative category to a cancellative monoid?" We show how these questions are intimitely related and provide, where possible, their answers.