Have added the “definition” of a symmetric monoidal $(\infty,n)$-category to the entry.

]]>Has anyone read Vicary's Categorical Quantum harmonic oscillator? I am attempting a calculation using the adjunction RQ which he develops in that paper. Specifically, I am using the category of comonoids Cx (which he describes in the paper) as if it were SET and I intend to do some set theory in Cx. He already demonstrates Cx has finite products, a 0 and a 1 object. I am looking for the 2 object, but really I want these so that I can have the powerset functor. What I am interested in are unions, intersections and powersets. I have Lawvere and Rosebrugh here and looked up these structures, but if anyone can help out, that would be great. Thanks. ]]>