Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/161737
18 Visitors
20 Hits
0 Downloads
- Title
- Duals invert
- Related
- Applied categorical structures, Vol. 19, Issue 1, (2011), p.321-361
- DOI
- 10.1007/s10485-009-9210-7
- Publisher
- Springer
- Date
- 2011
- FoR/RFCD Code(s)
-
010300 Numerical and Computational Mathematics
010100 Pure Mathematics
- Author/Creator
- López Franco, Ignacio
- Author/Creator
- Street, Ross
- Author/Creator
- Wood, Richard J
- Description
- Monoidal objects (or pseudomonoids) in monoidal bicategories share many of the properties of the paradigmatic example: monoidal categories. The existence of (say, left) duals in a monoidal category leads to a dualization operation which was abstracted to the context of monoidal objects by Day et al. (Appl Categ Struct 11:229–260, 2003). We define a relative version of this called exact pairing for two arrows in a monoidal bicategory; when one of the arrows is an identity, the other is a dualization. In this context we supplement results of Day et al. (Appl Categ Struct 11:229–260, 2003) (and even correct one of them) and only assume the existence of biduals in the bicategory where necessary. We also abstract recent work of Day and Pastro (New York J Math 14:733–742, 2008) on Frobenius monoidal functors to the monoidal bicategory context. Our work began by focusing on the invertibility of components at dual objects of monoidal natural transformations between Frobenius monoidal functors. As an application of the abstraction, we recover a theorem of Walters and Wood (Theory Appl Categ 3:25–47, 2008) asserting that, for objects A and X in a cartesian bicategory C , if A is Frobenius then the category MapC (X, A) of left adjoint arrows is a groupoid. Also, the characterization in Walters and Wood (Theory Appl Categ 3:25–47, 2008) of left adjoint arrows between Frobenius objects of a cartesian bicategory is put into our current setting. In the same spirit, we show that when a monoidal object admits a dualization, its lax centre coincides with the centre defined in Street (Theory Appl Categ 13:184–190, 2004). Finally we look at the relationship between lax duals for objects and adjoints for arrows in a monoidal bicategory.
- Description
- 41 page(s)
- Subject Keyword
- 010300 Numerical and Computational Mathematics
- Subject Keyword
- 010100 Pure Mathematics
- Subject Keyword
- Monoidal bicategory
- Subject Keyword
- Monoidal object
- Subject Keyword
- Dual
- Subject Keyword
- Frobenius condition
- Subject Keyword
- Cartesian bicategory
- Subject Keyword
- Centre construction
- Resource Type
- journal article
- Organisation
- Macquarie University. Dept. of Mathematics
- Identifier
- http://hdl.handle.net/1959.14/161737
- Identifier
- ISSN:0927-2852
- Identifier
- mq-rm-2009006041
- Language
- eng
- Reviewed
