Chris Heunen
@chrisheunen.bsky.social
computer scientist, mathematician, father, karateka, pianist
Our notation implicitly assumed one more equation, (h) below, now added. Thanks to Peter Selinger for catching this!
October 21, 2025 at 7:00 PM
Our notation implicitly assumed one more equation, (h) below, now added. Thanks to Peter Selinger for catching this!
That means you need a way to think about paths in terms of open sets rather than points. The idea: approximate a path by finer and finer finite sequences of opens that are causally before each other.
October 21, 2025 at 9:13 AM
That means you need a way to think about paths in terms of open sets rather than points. The idea: approximate a path by finer and finer finite sequences of opens that are causally before each other.
Coverages, or Grothendieck topologies, describe when a collection of regions covers another region in a space. But what if your space is a spacetime? The topological space may have a causal order saying which (spacetime) points 'come before' which other points, for example.
October 21, 2025 at 9:13 AM
Coverages, or Grothendieck topologies, describe when a collection of regions covers another region in a space. But what if your space is a spacetime? The topological space may have a causal order saying which (spacetime) points 'come before' which other points, for example.
Start with any base circuit theory, in terms of tensors only; technically, as a prop. Build a new controlled circuit theory that has controlled versions of the base gates, subject to these equations.
October 7, 2025 at 9:00 AM
Start with any base circuit theory, in terms of tensors only; technically, as a prop. Build a new controlled circuit theory that has controlled versions of the base gates, subject to these equations.
Applications are now open for September 2025 entry to the EPSRC Centre for Doctoral Training in Quantum Informatics. At least 16 fully-funded PhD studentships are available! Apply at quantuminformatics-cdt.ac.uk.
November 25, 2024 at 7:09 PM
Applications are now open for September 2025 entry to the EPSRC Centre for Doctoral Training in Quantum Informatics. At least 16 fully-funded PhD studentships are available! Apply at quantuminformatics-cdt.ac.uk.