From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1888 Path: news.gmane.org!not-for-mail From: Gaunce Lewis Newsgroups: gmane.science.mathematics.categories Subject: question about symmetric monoidal categories Date: Wed, 14 Mar 2001 23:55:00 -0500 Message-ID: <5.0.2.1.2.20010314233232.00a608f0@mailbox.syr.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed X-Trace: ger.gmane.org 1241018175 999 80.91.229.2 (29 Apr 2009 15:16:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:15 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Mar 15 09:58:56 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f2FCkHN22924 for categories-list; Thu, 15 Mar 2001 08:46:17 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: lglewis@mailbox.syr.edu X-Mailer: QUALCOMM Windows Eudora Version 5.0.2 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 14 Original-Lines: 49 Xref: news.gmane.org gmane.science.mathematics.categories:1888 Archived-At: I'm looking for a reference for two notions related to symmetric monoidal categories and symmetric monoidal functors. Assume that A and B are symmetric monoidal categories, and denote the product operation on both by \tensor. Assume that L is a lax (symmetric) monoidal functor from A to B. Here are the two closely related notions: 1. Let G be a functor from A to B for which there is a natural transformation L(a_1) \tensor G(a_2) -> G(a_1 tensor a_2) for all a_1, a_2 in A making the obvious diagrams commute (one an associativity diagram and the other a unit diagram). One can think of L as acting on G, or of G as "modular" over L (I'm working in the abelian category context, so it is natural to think in terms of rings and modules). 2. Now suppose that L has a right adjoint R and G has a left adjoint F. Also assume that L is strictly (or is it strongly) monoidal, and that R has the "dual" monoidal structure. There seems to be a natural common source for an action of L on G and of R on F. This source is a natural isomorphism of the form F(L(a) \tensor b) \iso a \tensor F(b) for all a in A and b in B. If the appropriate diagrams commute, then it is easy to derive the actions of L on G and R on F from this isomorphism. What intrigues me most about this situation is the way in which the adjunctions go in the opposite direction. These two situations appear throughout some stuff in algebraic topology that I am working on right now. Is there a reference in the literature where these notions are discussed? Here is a standard (somewhat degenerate) example of this situation. Let h: S -> T be a homomorphism of commutative rings. There is an associated pullback functor from T-Mod to S-mod which plays the role of the functors R and F above. This functor has both left adjoint (playing the role of L) and right adjoint (playing the role of G). The pullback functor R is lax monoidal, and its left adjoint L is strict monoidal. The functor L acts on G, and R = F acts on F via the lax monoidal structure on R. In the examples that show up in my topological research, R and F are distinct, and neither F nor G have monoidal structures. Thanks, Gaunce Lewis