no code implementations • 11 May 2020 • Matthew Wilson, James Hefford, Guillaume Boisseau, Vincent Wang
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 subset of update structures and vwb lenses in cartesian categories.
no code implementations • 22 Apr 2020 • James Hefford, Vincent Wang, Matthew Wilson
Modelling concept representation is a foundational problem in the study of cognition and linguistics.