V.D48 — Local tau^3 chart

A local tau^3 chart is a readout functor R_p: H_partial[omega] -> O_p centered at a base point p in tau^1, where O_p is a Minkowski vector space of signature (1,3). The chart is valid in a neighborhood U_p of the base point.