Text this: A Novel Categorical Approach to Semantics of Relational First-Order Logic.