In his PhD thesis, [Categorical Structure of Continuation Passing Style](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.9.3717&rep=rep1&type=pdf), Thielecke studies the ⊗¬-categories, which are premonoidal categories with structure (namely, a functor ¬ which is adjoint to itself), in order to model the semantics of continuation-passing style languages.


I've been studying his work for some time now, but I'm not really familiar to literature about category theory. So my question is, and it might sound silly: how should I pronounce "⊗¬-category"? In fact, I could rephrase this: if I were to write about those categories in a paper, how should I refer to them? Should one write it in full, or simply just refer to them as ⊗¬-categories all the time and leave the pronunciation as an open problem?



How to pronounce "⊗¬-category"?
I shared an office with Hayo Thielecke in the late 1990s.


The pronunciation he used was "Tensor-NOT-category".


