arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2009.12432math.CT
收藏

张量限制范畴

Tensor-restriction categories

C. Heunen, J. S. Pacaud Lemay

摘要:

建立限制类别是为了处理相对于组成部分定义的映射。张量拓扑认识到幺半范畴具有内在的空间概念,并处理相对于这种空间结构部分定义的对象和映射。我们引入了一个构造,它把一个坚固的幺半范畴变成一个限制范畴,并公理化了这样产生的monoidal限制范畴,称为张量限制范畴。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑