Yesterday, I gave a talk entitled “Does language have a logical structure?”.

I discussed a very recent collaboration with S. Jarvis and John Terilla (CUNY), G. Gastaldi @giannigastaldi, and L. Pellissier @lucpellissier.

I am quite excited about this work which relates categorical structures (nuclei of an adjunction), models of linear logic, and some approaches in natural language processing, with hints of projective tropical geometry.

Slides are here: https://www.seiller.org/Normes24.pdf