Tensor-restriction categories
Theory and applications of categories, Tome 37 (2021), pp. 635-670
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
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.
Classification :
18M05, 18M30
Keywords: Subunits, Tensor Topology, Restriction Categories, Tensor-Restriction Categories
Keywords: Subunits, Tensor Topology, Restriction Categories, Tensor-Restriction Categories
@article{TAC_2021_37_a20,
author = {Chris Heunen and Jean-Simon Pacaud Lemay},
title = {Tensor-restriction categories},
journal = {Theory and applications of categories},
pages = {635--670},
year = {2021},
volume = {37},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2021_37_a20/}
}
Chris Heunen; Jean-Simon Pacaud Lemay. Tensor-restriction categories. Theory and applications of categories, Tome 37 (2021), pp. 635-670. http://geodesic.mathdoc.fr/item/TAC_2021_37_a20/