On 15 Oct, Vaughan Pratt wrote:
Based on the reactions so far it looks like I'll be going with one of "module" or "bimodule" rather than "bipartite category."
Perhaps it is worth mentioning that we (Robert Seely and I) have used the term "polarized category" to describe the presentation of a module between categories as a category over 2 (the arrow category). This because the categorical semantics of polarized logic turns out to be in polarized categories (aka modules) ... it is worth remembering that simply because polarized categories are something else as well does not mean that they do not have a theory which derives more directly from that special presentation! At any rate bipartite I must agree is the wrong word. -robin (Robin Cockett) 23-Oct-2004 10:16:08 -0300,8448;000000000001-00000000