BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Ross Street

Ross Street appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CTmath.QAmath.ATmath.COmath.RT

Catalog footprint

What is connected

26works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

26 published item(s)

preprint2022arXiv

Monoidal centres and groupoid-graded categories

We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by $\mathrm{Mod}$; the tensor product is cartesian product of categories. For a groupoid $\scr{G}$, we study the monoidal centre $\mathrm{ZPs}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$ of the monoidal bicategory $\mathrm{Ps}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$ of pseudofunctors and pseudonatural transformations; the tensor product is pointwise. Alexei Davydov defined the full centre of a monoid in a monoidal category. We define a higher dimensional version: the full monoidal centre of a monoidale (= pseudomonoid) in a monoidal bicategory $\scr{M}$, and it is a braided monoidale in the monoidal centre $\mathrm{Z}\scr{M}$ of $\scr{M}$. Each fibration $π: \scr{H} \to \scr{G}$ between groupoids provides an example of a full monoidal centre of a monoidale in $\mathrm{Ps}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$. For a group $G$, we explain how the $G$-graded categorical structures, as considered by Turaev and Virelizier in order to construct topological invariants, fit into this monoidal bicategory context. We see that their structures are monoidales in the monoidal centre of the monoidal bicategory of $k$-linear categories on which $G$ acts.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Polynomials as spans

The paper defines polynomials in a bicategory $\mathscr{M}$. Polynomials in bicategories $\mathrm{Spn}\mathscr{C} \ $ of spans in a finitely complete category $\mathscr{C} \ $ agree with polynomials in $\mathscr{C} \ $ as defined by Nicola Gambino and Joachim Kock, and by Mark Weber. When $\mathscr{M}$ is \textit{calibrated}, we obtain another bicategory $\mathrm{Poly}\mathscr{M}$. We see that polynomials in $\mathscr{M}$ have representations as pseudofunctors $\mathscr{M}^{\mathrm{op}}\to \mathrm{Cat}$. Calibrations are produced for the bicategory of relations in a regular category and for the bicategory of two-sided modules (distributors) between categories thereby providing new examples of bicategories of "polynomials".

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Weighted Tensor Products of Joyal Species, Graphs, and Charades

Motivated by the weighted Hurwitz product on sequences in an algebra, we produce a family of monoidal structures on the category of Joyal species. We suggest a family of tensor products for charades. We begin by seeing weighted derivational algebras and weighted Rota-Baxter algebras as special monoids and special semigroups, respectively, for the same monoidal structure on the category of graphs in a monoidal additive category. Weighted derivations are lifted to the categorical level.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

What Separable Frobenius Monoidal Functors Preserve

Separable Frobenius monoidal functors were defined and studied under that name by Szlachanyi and by Day and Pastro, and in a more general context by Cockett and Seely. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Yang-Baxter operators in the sense of Alonso Alvarez et al., and (in the braided case) weak bimonoids in the sense of Pastro and Street. In fact, we characterize which monoidal expressions are preserved (or rather, are stable under conjugation in a well-defined sense). We show that every weak Yang-Baxter operator is the image of a genuine Yang-Baxter operator under a separable Frobenius monoidal functor. Prebimonoidal functors are also defined and discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Coalgebras governing both weighted Hurwitz products and their pointwise transforms

We give further insights into the weighted Hurwitz product and the weighted tensor product of Joyal species. Our first group of results relate the Hurwitz product to the pointwise product, including the interaction with Rota--Baxter operators. Our second group of results explain the first in terms of convolution with suitable bialgebras, and show that these bialgebras are in fact obtained in a particularly straightforward way by freely generating from pointed coalgebras. Our third group of results extend this from linear algebra to two-dimensional linear algebra, deriving the existence of weighted Hurwitz monoidal structures on the category of species using convolution with freely generated bimonoidales. Our final group of results relate Hurwitz monoidal structures with equivalences of of Dold--Kan type.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Skew-monoidal reflection and lifting theorems

The Day Reflection Theorem gives conditions under which a reflective subcategory of a closed monoidal category can be equipped with a closed monoidal structure in such a way that the reflection adjunction becomes a monoidal adjunction. We adapt this result to skew monoidal categories. The beauty of this variant is further evidence that the direction choices involved in the skew notion are important for organizing, and adding depth to, certain mathematical phenomena. We also provide conditions under which a skew monoidal structure can be lifted to the category of Eilenberg-Moore algebras for a comonad.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Kan extensions and cartesian monoidal categories

The existence of adjoints to algebraic functors between categories of models of Lawvere theories follows from finite-product-preservingness surviving left Kan extension. A result along these lines was proved in Appendix 2 of Brian Day's 1970 PhD thesis. His context was categories enriched in a cartesian closed base. A generalization is described here with essentially the same proof. We introduce the notion of cartesian monoidal category in the enriched context. With an advanced viewpoint, we give a result about left extension along a promonoidal module and further related results.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On monads and warpings

We explain the sense in which a warping on a monoidal category is the same as a pseudomonad on the corresponding one-object bicategory, and we describe extensions of this to the setting of skew monoidal categories: these are a generalization of monoidal categories in which the associativity and unit maps are not required to be invertible. Our analysis leads us to describe a normalization process for skew monoidal categories, which produces a universal skew monoidal category for which the right unit map is invertible.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A skew-duoidal Eckmann-Hilton argument and quantum categories

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories were originally defined as monoidal comonads on endomorphism objects in a particular monoidal bicategory M. Then they were shown also to be skew monoidal structures (with an appropriate unit) on objects in M. Now we see in what kind of M quantum categories are merely monads.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Skew-monoidal categories and the Catalan simplicial set

The basic data for a skew-monoidal category are the same as for a monoidal category, except that the constraint morphisms are no longer required to be invertible. The constraints are given a specific orientation and satisfy Mac Lane's five axioms. Whilst recent applications justify the use of skew-monoidal structure, they do not give an intrinsic justification for the form the structure takes (the orientation of the constraints and the axioms that they satisfy). This paper provides a perspective on skew-monoidal structure which, amongst other things, makes it quite apparent why this particular choice is a natural one. To do this, we use the Catalan simplicial set C. It turns out to be quite easy to describe: it is the nerve of the monoidal poset (2, v, 0) and has a Catalan number of simplices at each dimension (hence the name). Our perspective is that C classifies skew-monoidal structures in the sense that simplicial maps from C into a suitably-defined nerve of Cat are precisely skew-monoidal categories. More generally, skew monoidales in a monoidal bicategory K are classified by maps from C into the simplicial nerve of K.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Triangulations, orientals, and skew monoidal categories

A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As the objects of Fsk are meaningfully bracketed words in the skew unit I and the generating object X, it is necessary to examine bracketings and to find the appropriate kinds of morphisms between them. This leads us to relationships between triangulations of polygons, the Tamari lattice, left and right bracketing functions, and the orientals. A consequence of our description of Fsk is a coherence theorem asserting the existence of a strictly structure-preserving faithful functor from Fsk to the skew-monoidal category of finite non-empty ordinals and first-element-and-order-preserving functions. This in turn provides a complete solution to the word problem for skew monoidal categories.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Monoidal categories in, and linking, geometry and algebra

This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a link between knot theory and monoidal categories. The second section reviews the light thrown on aspects of representation theory by the machinery of monoidal category theory, such as braidings and convolution. The category theory of Mackey functors is reviewed in the third section. Some recent material and a conjecture concerning monoidal centres is included. The fourth and final section looks at ways in which monoidal categories are, and might, be used for new invariants of low-dimensional manifolds and for the field theory of theoretical physics.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Skew monoidales, skew warpings and quantum categories

Kornel Szlachányi recently used the term skew-monoidal category for a particular laxified version of monoidal category. He showed that bialgebroids $H$ with base ring $R$ could be characterized in terms of skew-monoidal structures on the category of one-sided $R$-modules for which the lax unit was $R$ itself. We define skew monoidales (or skew pseudo-monoids) in any monoidal bicategory $\mathscr M$. These are skew-monoidal categories when $\mathscr M$ is $\mathrm{Cat}$. Our main results are presented at the level of monoidal bicategories. However, a consequence is that quantum categories in the sense of Day-Street with base comonoid $C$ in a suitably complete braided monoidal category $\mathscr V$ are precisely skew monoidales in $\mathrm{Comod} (\mathscr V)$ with unit coming from the counit of $C$. Quantum groupoids are those skew monoidales with invertible associativity constraint. In fact, we provide some very general results connecting opmonoidal monads and skew monoidales. We use a lax version of the concept of warping defined recently by Booker-Street to modify monoidal structures.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Skew-closed categories

Spurred by the new examples found by Kornel Szlachányi of a form of lax monoidal category, the author felt the time ripe to publish a reworking of Eilenberg-Kelly's original paper on closed categories appropriate to the laxer context. The new examples are connected with bialgebroids. With Stephen Lack, we have also used the concept to give an alternative definition of quantum category and quantum groupoid. Szlachányi has called the lax notion {\em skew monoidal}. This paper defines {\em skew closed category}, proves Yoneda lemmas for categories enriched over such, and looks at closed cocompletion.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Covering morphisms of crossed complexes and of cubical omega-groupoids with connection are closed under tensor product

The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through the equivalence of the category of crossed complexes with that of cubical omega-groupoids with connections where the initial definition of the tensor product lies. It is also in the latter category that we are able to apply techniques of dense subcategories to identify the tensor product of covering morphisms as a covering morphism.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the 2-categories of weak distributive laws

A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generalizes a mixed distributive law due to Beck. We show that a weak mixed distributive law can be described as a compatible pair of a monad and a comonad, in 2-categories extending, respectively, the 2-category of comonads and the 2-category of monads. Based on this observation, we define a 2-category whose 0-cells are weak mixed distributive laws. In a 2-category K which admits Eilenberg-Moore constructions both for monads and comonads, and in which idempotent 2-cells split, we construct a fully faithful 2-functor from this 2-category of weak mixed distributive laws to K^{2 x 2}.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Tannaka duality and convolution for duoidal categories

Given a horizontal monoid M in a duoidal category F, we examine the relationship between bimonoid structures on M and monoidal structures on the category of right M-modules which lift the vertical monoidal structure of F. We obtain our result using a variant of the Tannaka adjunction. The approach taken utilizes hom-enriched categories rather than categories on which a monoidal category acts ("actegories"). The requirement of enrichment in F itself demands the existence of some internal homs, leading to the consideration of convolution for duoidal categories. Proving that certain hom-functors are monoidal, and so take monoids to monoids, unifies classical convolution in algebra and Day convolution for categories. Hopf bimonoids are defined leading to a lifting of closed structures. Warped monoidal structures permit the construction of new duoidal categories.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Weak bimonads and weak Hopf monads

We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separable Frobenius. Whenever M is also Cauchy complete, a simple set of axioms is provided, that characterizes the monoidal structure of M^T as a weak lifting of the monoidal structure of M . The relation to bimonads, and the relation to weak bimonoids in a braided monoidal category are revealed. We also discuss antipodes, obtaining the notion of weak Hopf monad.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Doubles for monoidal categories

In a recent paper, Daisuke Tambara defined two-sided actions on an endomodule (= endodistributor) of a monoidal V-category A. When A is autonomous (= rigid = compact), he showed that the V-category (that we call Tamb(A)) of so-equipped endomodules (that we call Tambara modules) is equivalent to the monoidal centre Z[A,V] of the convolution monoidal V-category [A,V]. Our paper extends these ideas somewhat. For general A, we construct a promonoidal V-category DA (which we suggest should be called the double of A) with an equivalence [DA,V] \simeq Tamb(A). When A is closed, we define strong (respectively, left strong) Tambara modules and show that these constitute a V-category Tamb_s(A) (respectively, Tamb_{ls}(A)) which is equivalent to the centre (respectively, lax centre) of [A,V]. We construct localizations D_s A and D_{ls} A of DA such that there are equivalences Tamb_s(A) \simeq [D_s A,V] and Tamb_{ls}(A) \simeq [D_{ls} A,V]. When A is autonomous, every Tambara module is strong; this implies an equivalence Z[A,V] \simeq [DA,V].

0 citations0 reviewsNo code linkedOpen access