School of Mathematics

Given a Morse function on a closed smooth manifold and a Smale gradient-like vector field adapted to it, one can construct a topological category called the flow category associated with this data. Its objects are the critical points of the function...

A valency argument is an elegant and well-known technique for proving impossibility results in distributed computing. It is an example of an extension-based proof, which is modelled as an interaction between a prover and a protocol. Even though...