Categories in Soquel