A Novel Categorical Approach to Semantics of Relational First-Order Logic. - Schreiner, Wolfgang; Steingartner, William; Novitzká, Valerie (Symmetry (20738994), 2020)