Freely adjoining monoidal duals
Sign Up to like & getrecommendations! Published in 2020 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129520000274
Abstract: Abstract Given a monoidal category $\mathcal C$ with an object J, we construct a monoidal category $\mathcal C[{J^ \vee }]$ by freely adjoining a right dual ${J^ \vee }$ to J. We show that the… read more here.
Keywords: freely adjoining; category; omega mathcal; monoidal category ... See more keywords