Representation of Partial Traces

被引：0
作者：
Bagnol, Marc [1 ]
机构：
[1] Univ Ottawa, Dept Math & Stat, Ottawa, ON K1N 6N5, Canada
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2015年 / 319卷
关键词：
monoidal category; trace; feedback; representation theorem;
D O I：
10.1016/j.entcs.2015.12.004
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The notion of trace in a monoidal category has been introduced to give a categorical account of a situation occurring in very different settings: linear algebra, topology, knot theory, proof theory... with the trace operation understood as a feedback operation. Partially traced categories were later introduced to account for cases where the trace is not always defined, and it was shown that partially traced category can always be seen as a subcategory of a totally traced one. We give a new proof of this representation theorem, using a construction that is different from the original one. However, since they satisfy the same universal property they are naturally isomorphic.
引用
收藏
页码：37 / 49
页数：13
相关论文
共 11 条
  • [1] Abramsky S., 2002, Mathematical Structures in Computer Science, V12, P625, DOI 10.1017/S0960129502003730
  • [2] Bartha M., 2008, AUT FORM LANG 12 INT, P86
  • [3] Girard Jean-Yves, 1995, LONDON MATH SOC LECT, P329
  • [4] GIRARD JY, 1989, CONT MATH, V92, P69
  • [5] Haghverdi E, 2005, LECT NOTES COMPUT SC, V3634, P216, DOI 10.1007/11538363_16
  • [6] Haghverdi E, 2004, LECT NOTES COMPUT SC, V3142, P708
  • [7] Hermida C., 2002, COMP SCI, V309, P125
  • [8] Hughes D. J. D., 2005, ACM Transactions on Computational Logic, V6, P784, DOI 10.1145/1094622.1094629
  • [9] Traced monoidal categories
    Joyal, A
    Street, R
    Verity, D
    [J]. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1996, 119 : 447 - 468
  • [10] Lane S. Mac, 1971, CATEGORIES WORKING M
12