论文标题
张量限制类别
Tensor-restriction categories
论文作者
论文摘要
建立了限制类别以处理针对组成部分定义的地图。张量拓扑结论意识到单体类别具有空间的内在概念，并处理了相对于该空间结构部分定义的对象和地图。我们介绍了一种将牢固类别类别变成限制类别的结构，并将以这种方式出现的单体限制类别（称为张量施法类别）化。
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.
