マレルブ／スコット／セリンガー／バニョルの表現定理

マレルブ／スコット／セリンガーの論文

• Octavio Malherbe, Philip J. Scott, Peter Selinger
• Title Partially traced categories
• Pages: 23p
• URL: https://www.sciencedirect.com/science/article/pii/S0022404912001144

バニョルの論文

• Title: Representation of Partial Traces
• Author: Marc Bagnol
• Pages: 13p
• URL: https://www.normalesup.org/~bagnol/articles/conferences/ptrace.pdf

これらで言っていることは、部分トレース付き圏〈Partially traced category〉に関する「マレルブ／スコット／セリンガー／バニョルの表現定理」。