15 Oct
2004
15 Oct
'04
1:28 p.m.
Vaughan Pratt wrote:
In my Vancouver talk at CT04 I defined a bipartite category to be a bipolar category with no morphisms from negative to positive objects. (By "bipolar" ...
Is there an established terminology for this notion? And if not, does anyone have any strong preference between "bipartite category" and "abstract bimodule?" Note that I'll be writing initially for a CS audience, for whom bipartite graphs are a staple.
Vaughan Pratt
As non-CS and only marginally categorical I would vote for bipartite as bimodule in the alg context brings to mind two objects with one acting on the other two different ways jim 18-Oct-2004 09:47:03 -0300,1562;000000000000-00000000