Conjectural generalisation of the sewing lemma for approximate actions
Let PPP be a metric space, and let ((Mx), (μxy))\big((M_x),\,(\mu_{xy})\big)((Mx),(μxy)) be an approximate action of the pair groupoid P×PP\times PP×P, with each MxM_xMx a complete metric space and μxy\mu_{xy}μxy…