  Restriction categories were established to handle maps that are partially
defined with respect to composition. Tensor topology realises that monoidal
categories have an intrinsic notion of space, and deals with objects and maps
that are partially defined with respect to this spatial structure. We introduce
a construction that turns a firm monoidal category into a restriction category
and axiomatise the monoidal restriction categories that arise this way, called
tensor-restriction categories.
