Category theory, logic and formal linguistics: Some connections, old and new. - Jean Gillibert; Christian Retoré (J. Appl. Log., 2014)