Duals Invert

被引:0
|
作者
Ignacio López Franco
Ross Street
Richard J. Wood
机构
[1] Univsersite Paris Diderot—Paris 7,Laboratorie Prueves, Programmes et Systèmes
[2] Macquarie University,Department of Mathematics
[3] Dalhousie University,Department of Mathematics and Statistics
来源
关键词
Monoidal bicategory; Monoidal object; Dual; Frobenius condition; Cartesian bicategory; Centre construction; Primary 18D05; Secondary 18D10; 18D15; 18D20; 18D25; 18D35;
D O I
暂无
中图分类号
学科分类号
摘要
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 [inline-graphic not available: see fulltext], if A is Frobenius then the category Map[inline-graphic not available: see fulltext](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.
引用
收藏
页码:321 / 361
页数:40
相关论文
共 50 条
  • [1] Duals Invert
    Franco, Ignacio Lopez
    Street, Ross
    Wood, Richard J.
    [J]. APPLIED CATEGORICAL STRUCTURES, 2011, 19 (01) : 321 - 361
  • [2] Invert to Learn to Invert
    Putzky, Patrick
    Welling, Max
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), 2019, 32
  • [3] Wavelength conversion and regeneration: to invert or not to invert?
    Granot, E
    Sternklar, S
    Tsadka, S
    [J]. JOURNAL OF OPTICS A-PURE AND APPLIED OPTICS, 2005, 7 (04): : 157 - 161
  • [4] The Invert
    Smith, E. Hamblin
    [J]. JOURNAL OF MENTAL SCIENCE, 1928, 74 (304): : 126 - 127
  • [5] THE INVERT
    Riggs, S.
    [J]. MENTAL HYGIENE, 1929, 13 (03) : 648 - 648
  • [6] The scent of the invert
    Borloz, Sophie-Valentine
    [J]. LITTERATURES, 2019, (81): : 131 - 142
  • [7] MODULES - DUALS AND PRINCIPALLY GENERATED FAKE DUALS
    JOHNSON, EW
    [J]. ALGEBRA UNIVERSALIS, 1987, 24 (1-2) : 111 - 119
  • [8] TRANSFINITE DUALS
    FINET, C
    [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1983, 296 (01): : 47 - 50
  • [9] LOOPS IN DUALS
    HAGGARD, G
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1980, 87 (08): : 654 - 656
  • [10] Rings with duals
    Baer, R
    [J]. AMERICAN JOURNAL OF MATHEMATICS, 1943, 65 : 569 - 584