4 citations · 11 across the 5 of their papers we have counts for
5 papers
Grammar Equations
Bob Coecke, Vincent Wang
Diagrammatically speaking, grammatical calculi such as pregroups provide wires between words in order to elucidate their interactions, and this enables one to verify grammatical co…
Limits and Colimits in a Category of Lenses
Emma Chollet, Bryce Clarke, Michael Johnson +3
Lenses are an important tool in applied category theory. While individual lenses have been widely used in applications, many of the mathematical properties of the corresponding cat…
Towards a Scientific Method for Dynamical Systems
Vincent Wang
The premise of this paper is the following value proposition: Models are good when they describe a system of phenomena, and they are better when they can predict the effect of inte…
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures
Matthew Wilson, James Hefford, Guillaume Boisseau +1
We build upon our recently introduced concept of an update structure to show that it is a generalisation of very-well-behaved lenses, that is, there is a bijection between a strict…
Categories of Semantic Concepts
James Hefford, Vincent Wang, Matthew Wilson
Modelling concept representation is a foundational problem in the study of cognition and linguistics. This work builds on the confluence of conceptual tools from Gärdenfors semanti…