6 citations · 15 across the 13 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
On partial traces and compactification of -autonomous Mix-categories
Sergey Slavnov
We study the question when a -autonomous Mix-category has a representation as a -autonomous Mix-subcategory of a compact one. We define certain partial trace-like operation o…
cs.LO2016
Compactification of *-autonomous categories
Sergey Slavnov
We study the question when a *-autonomous (Mix-)category has a representation as a -autonomous category of a compact one. We prove that necessary and sufficient condition is tha…