From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7378 Path: news.gmane.org!not-for-mail From: =?ISO-8859-1?Q?Roman_Krenick=FD?= Newsgroups: gmane.science.mathematics.categories Subject: Examples of symmetric monoidal bicategories Date: Thu, 12 Jul 2012 15:59:01 +0100 Message-ID: Reply-To: =?ISO-8859-1?Q?Roman_Krenick=FD?= NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1342288849 1900 80.91.229.3 (14 Jul 2012 18:00:49 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 14 Jul 2012 18:00:49 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Jul 14 20:00:49 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.80]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Sq6e8-0002UG-Pp for gsmc-categories@m.gmane.org; Sat, 14 Jul 2012 20:00:48 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:56372) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1Sq6df-000851-NK; Sat, 14 Jul 2012 15:00:19 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Sq6dg-0000Gj-L8 for categories-list@mlist.mta.ca; Sat, 14 Jul 2012 15:00:20 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7378 Archived-At: Dear all, I'm looking for examples of symmetric monoidal bicategories (where the structure is genuinely weak, i.e. the various isomorphisms are not identities) and I would appreciate some help. -- Actually, strict 2-categories with (genuinely) weak monoidal structure would be even more interesting, but I found it almost impossible to find anything on that. As I am using these categories as models, I need some structure that is "concrete enough" to do calculations with (while being as simple as possible). Right now I'm considering the bicategory of rings (or monoids or fields), bimodules over them, and bimodule homomorphisms, where the monoidal structure is defined by the tensor product etc. (Pointers to detailed accounts of this category would be very much appreciated, too. I've only found fairly sketchy mentions in the literature.) I would be grateful about any other examples of this kind! Thanks, Roman [For admin and other information see: http://www.mta.ca/~cat-dist/ ]