Skew monoidal structures on categories of algebras

Philip Saville, Marcelo Fiore

Research output: Contribution to conferenceAbstract

Abstract

There is a long tradition of constructing monoidal or closed structure on the category of algebras for a monad that is assumed to be commutative, monoidal, cartesian closed,or similar. In each case, one builds a tensor product classifying bilinear maps using a coequalizer. This approach, initiated by Linton’s description of the construction, has been studied by Kock, Guitart and others, while Seal has recently examined the monoidal case in some detail. In this talk we explore these ideas for skew monoidal categories, viz. suitably directed versions of monoidal categories in which the structuralmaps are not assumed to be invertible. Under standard conditions I will show that, for a strong monad T on a skew monoidal category, the category of T-algebras acquires a skew monoidal structure with a tensor product classifying left-linear maps. I will then characterise the monoids for this left-linear monoidal structure as precisely the T-monoids of Fioreet al., and give two constructions for free monoids in skew monoidalcategories.
Original languageEnglish
Pages59
Number of pages1
Publication statusPublished - 10 Jul 2018
EventCategory Theory 2018 - University of Azores, Ponta Delgada, Portugal
Duration: 8 Jul 201914 Jul 2019
http://www.mat.uc.pt/~ct2018/

Workshop

WorkshopCategory Theory 2018
Abbreviated titleCT 2018
Country/TerritoryPortugal
CityPonta Delgada
Period8/07/1914/07/19
Internet address

Fingerprint

Dive into the research topics of 'Skew monoidal structures on categories of algebras'. Together they form a unique fingerprint.

Cite this