Text this: Algebraic and categorical properties of r-ideal systems