Incremental query updating in adhesive categories
Working in the general setting of adhesive categories, we derive a practical algorithm for incrementally updating a query’s results with respect to small changes in the object being queried.
Trustee (UK)
…