18 Dec
2007
18 Dec
'07
6:25 p.m.
first, the definition that you "never noticed before" appears as Definition C in your paper "Non-symmetric *-autonomous categories" (Theoretical Computer Science, 139 (1995), 115-130). Okay, there are
it also appears in paragraph 4.3 of his 1979 book. -- dusko