How do you rename a Category in iOS

What I did: Selected the Category, hoping there would be options, as in renaming a Project

What happened: No apparent option. I am likely doing something incorrectly, or missing an obvious capability

What I expected:

Things that might be helpful to know (Agenda version, OS and model, etc):

There’s two ways you can edit a category on iOS:

  1. double tap a category
  2. swipe the category to the left