Monads of oplax actions are skew monoidales

Ramón Abud Alcalá

Research output: Contribution to journalArticle

Abstract

Szlachányi showed that bialgebroids can be characterised using skew monoidal categories. The characterisation reduces the amount of data, structure, and properties required to define them. Lack and Street provide a bicategorical account of that same fact; they characterise quantum categories in terms of skew monoidal structures internal to a monoidal bicategory. A quantum category is an opmonoidal monad on an enveloping monoidale R ⊗R in a monoidal bicategory. In a previous paper, we characterised opmonoidal arrows on enveloping monoidales as a simpler structure called oplax action. This is the second paper based on the author's PhD thesis. Here, motivated by the fact that opmonoidal monads are monads in the bicategory of monoidales, opmonoidal arrows, and opmonoidal cells; we prove that right skew monoidales are “monads of oplax actions”. To do so, we arrange oplax actions as the 1-simplices of a simplicial object in Cat. In nice cases this simplicial object is ought to be thought as a bicategory whose arrows are oplax actions, that is to say, it is weakly equivalent to a nerve of a bicategory. We define monads of oplax actions as simplicial maps out of the Catalan simplicial set and prove that these are in bijective correspondence with right skew monoidales whose unit has a right adjoint, no assumptions required on the ambient monoidal bicategory.

Original languageEnglish
Pages (from-to)3778-3830
Number of pages53
JournalJournal of Pure and Applied Algebra
Volume223
Issue number9
DOIs
Publication statusPublished - Sep 2019

Keywords

  • Coalgebroid
  • Skew monoidale
  • Oplax action
  • Monoidal bicategory
  • Quantum category
  • Bialgebroid

Fingerprint Dive into the research topics of 'Monads of oplax actions are skew monoidales'. Together they form a unique fingerprint.

Cite this