A Category-theoretic Reconstruction of Logical Expressivism