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.
Chair (UK)
Ilyas Khan is the founder of Quantinuum. He was the founding Chairman of The Stephen Hawking Foundation, is a Fellow of St Edmund’s College at the University of Cambridge, and is a Leader in Residence at the Judge Business School, where he was instrumental in establishing the Accelerate Cambridge programme. Beyond his leadership in quantum computing, Ilyas has a long-standing interest in the foundations of mathematics and category theory and is a Life Member of the American Mathematical Society.