Categories in Eleva