Quantum things 3 - Resources and Co-resources

Add to your list(s) Download to your calendar using vCal

• Anuj Dawar (University of Cambridge)
• Friday 06 December 2019, 14:00-15:00
• Computer Laboratory, Room FW26.

If you have a question about this talk, please contact Jean Pichon-Pharabod.

room subject to change

In this talk, I will introduce a new EPSRC -funded project on “Resources and co-Resources: A junction between semantics and descriptive complexity” which I jointly lead with Samson Abramsky.

The project seeks to explore ways in which methods from the study of logic and algorithms (specifically finite model theory and descriptive complexity) can be combined with methods from semantics (such as category theory) to build a cohesive algebraic theory of resources. This builds on recent work obtaining categorical accounts of essential constructions in finite model theory (by Abramsky, Dawar and Wang and Abramsky and Shah), as well as categorical accounts of quantum resources (by Abramsky, Barbosa, de Silva and Zapata). This work made essential use of monads—seen as encapsulating quantum and other resources—and of comonads, which encapsulate “co-resources”, i.e. ways of limiting access to a structure corresponding to definability in various logics. The project will seek to apply these new tools to major results in descriptive complexity, to expand them to cover other important constructions, to find ways of combining accounts of quantum resources and logical co-resources, and to build a general theory of these.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory, Room FW26
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.