Abstract
In previous work we gave a mathematical foundation, referred to as DisCoCat,for how words interact in a sentence in order to produce the meaning of thatsentence. To do so, we exploited the perfect structural match of grammar andcategories of meaning spaces. Here, we give a mathematical foundation, referredto as DisCoCirc, for how sentences interact in texts in order to produce themeaning of that text. First we revisit DisCoCat. While in DisCoCat all meaningsare fixed as states (i.e. have no input), in DisCoCirc word meanings correspondto a type, or system, and the states of this system can evolve. Sentences aregates within a circuit which update the variable meanings of those words. Likein DisCoCat, word meanings can live in a variety of spaces e.g. propositional,vectorial, or cognitive. The compositional structure are string diagramsrepresenting information flows, and an entire text yields a single stringdiagram in which word meanings lift to the meaning of an entire text. While thedevelopments in this paper are independent of a physical embodiment (cf.classical vs. quantum computing), both the compositional formalism andsuggested meaning model are highly quantum-inspired, and implementation on aquantum computer would come with a range of benefits. We also praise Jim Lambekfor his role in mathematical linguistics in general, and the development of theDisCo program more specifically.