Categories in Lucre