* Question about proof nets
@ 2013-09-24 18:13 Harley D. Eades III
0 siblings, 0 replies; only message in thread
From: Harley D. Eades III @ 2013-09-24 18:13 UTC (permalink / raw)
To: categories
Hi, everyone.
I am currently trying to understand (tensor, cotensor)-circuits from
R. F. Blute, J. Cockett, R. Seely, and T. H. Trimble. Natural deduction and coherence for weakly distributive categories. Journal of Pure and Applied Algebra, 113(3):229–296, 1996.
I am wondering if anyone can tell me what the significance of the half circle under
the tensor in the circuit for tensor elimination?
Unfortunately, I cannot draw the circuit here. It is however on page 9 of the above paper.
At first I thought it was indicating symmetry, but this doesn't make sense.
Any help would be greatly appreciated.
.\ Harley
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-09-24 18:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-09-24 18:13 Question about proof nets Harley D. Eades III
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).