Showing 1–50 of 55 results for author: Lack, S

A characterisation for the category of Hilbert spaces

Authors: Stephen Lack, Shay Tobin

Abstract: The categories of real and of complex Hilbert spaces with bounded linear maps have received purely categorical characterisations by Chris Heunen and Andre Kornell. These characterisations are achieved through Solèr's theorem, a result which shows that certain orthomodularity conditions on a Hermitian space over an involutive division ring result in a Hilbert space with the division ring being eith… ▽ More The categories of real and of complex Hilbert spaces with bounded linear maps have received purely categorical characterisations by Chris Heunen and Andre Kornell. These characterisations are achieved through Solèr's theorem, a result which shows that certain orthomodularity conditions on a Hermitian space over an involutive division ring result in a Hilbert space with the division ring being either the reals, complexes or quaternions. The characterisation by Heunen and Kornell makes use of a monoidal structure, which in turn excludes the category of quaternionic Hilbert spaces. We provide an alternative characterisation without the assumption of monoidal structure on the category. This new approach not only gives a new characterisation of the categories of real and of complex Hilbert spaces, but also the category of quaternionic Hilbert spaces. △ Less

Submitted 7 April, 2025; v1 submitted 4 December, 2024; originally announced December 2024.

Comments: 20 pages

MSC Class: 18M40; 46C15

Journal ref: Appl Categor Struct 33, 13 (2025)

On $2$-categorical $\infty$-cosmoi

Authors: John Bourke, Stephen Lack

Abstract: Recently Riehl and Verity have introduced $\infty$-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those $\infty$-cosmoi which are in fact $2$-categories; we shall refer to these as $2$-cosmoi. We show that each $2$-category with flexible limits gives rise to a $2$-cosmos whose distinguished class of isofibrations consists of the n… ▽ More Recently Riehl and Verity have introduced $\infty$-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those $\infty$-cosmoi which are in fact $2$-categories; we shall refer to these as $2$-cosmoi. We show that each $2$-category with flexible limits gives rise to a $2$-cosmos whose distinguished class of isofibrations consists of the normal isofibrations. Many examples arise in this way, and we show that such $2$-cosmoi are minimal as Cauchy-complete $2$-cosmoi. Finally, we investigate accessible $2$-cosmoi and develop a few aspects of their basic theory. △ Less

Submitted 20 December, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: V2 - corrected grant information

MSC Class: 18N60; 18C35; 18D20; 18N40

Accessible categories with a class of limits

Authors: Stephen Lack, Giacomo Tendas

Abstract: In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $Ψ$, as a collection of special types of colimit diagrams that are compatible with $Ψ$. We then characterize the accessible $\mathcal V$-categories with $Ψ$-limits as those accessibly embedded and… ▽ More In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $Ψ$, as a collection of special types of colimit diagrams that are compatible with $Ψ$. We then characterize the accessible $\mathcal V$-categories with $Ψ$-limits as those accessibly embedded and $\mathfrak C$-virtually reflective in a presheaf $\mathcal V$-category, and as the $\mathcal V$-categories of $\mathfrak C$-models of sketches. This allows us to recover the standard theorems for locally presentable, locally multipresentable, and locally polypresentable categories as instances of the same general framework. In addition, our theorem covers the case of any weakly sound class $Ψ$, and provides a new perspective on the case of weakly locally presentable categories. △ Less

Submitted 7 June, 2023; v1 submitted 14 December, 2022; originally announced December 2022.

Comments: Journal version. Some references added, as well as 4.10, 4.11, 4.18, 4.20(4)

MSC Class: 18D20; 18C35; 18A35; 18C30

Journal ref: Journal of Pure and Applied Algebra, 228(2):107444, 2024

The oplax limit of an enriched category

Authors: Soichiro Fujii, Stephen Lack

Abstract: We show that 2-categories of the form $\mathscr{B}\mbox{-}\mathbf{Cat}$ are closed under slicing, provided that we allow $\mathscr{B}$ to range over bicategories (rather than, say, monoidal categories). That is, for any $\mathscr{B}$-category $\mathbb{X}$, we define a bicategory $\mathscr{B}/\mathbb{X}$ such that… ▽ More We show that 2-categories of the form $\mathscr{B}\mbox{-}\mathbf{Cat}$ are closed under slicing, provided that we allow $\mathscr{B}$ to range over bicategories (rather than, say, monoidal categories). That is, for any $\mathscr{B}$-category $\mathbb{X}$, we define a bicategory $\mathscr{B}/\mathbb{X}$ such that $\mathscr{B}\mbox{-}\mathbf{Cat}/\mathbb{X}\cong (\mathscr{B}/\mathbb{X})\mbox{-}\mathbf{Cat}$. The bicategory $\mathscr{B}/\mathbb{X}$ is characterized as the oplax limit of $\mathbb{X}$, regarded as a lax functor from a chaotic category to $\mathscr{B}$, in the 2-category $\mathbf{BICAT}$ of bicategories, lax functors and icons. We prove this conceptually, through limit-preservation properties of the 2-functor $\mathbf{BICAT}\to 2\mbox{-}\mathbf{CAT}$ which maps each bicategory $\mathscr{B}$ to the 2-category $\mathscr{B}\mbox{-}\mathbf{Cat}$. When $\mathscr{B}$ satisfies a mild local completeness condition, we also show that the isomorphism $\mathscr{B}\mbox{-}\mathbf{Cat}/\mathbb{X}\cong (\mathscr{B}/\mathbb{X})\mbox{-}\mathbf{Cat}$ restricts to a correspondence between fibrations in $\mathscr{B}\mbox{-}\mathbf{Cat}$ over $\mathbb{X}$ on the one hand, and $\mathscr{B}/\mathbb{X}$-categories admitting certain powers on the other. △ Less

Submitted 23 May, 2024; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: 22 pages, final journal version

MSC Class: 18D20; 18N10

Journal ref: Theory and Applications of Categories, 40(14), pp 390-412, 2024

What is the universal property of the 2-category of monads?

Authors: Stephen Lack, Adrian Miranda

Abstract: For a 2-category $\mathcal{K}$, we consider Street's 2-category Mnd($\mathcal{K}$) of monads in $\mathcal{K}$, along with Lack and Street's 2-category EM($\mathcal{K}$) and the identity-on-objects-and-1-cells 2-functor Mnd($\mathcal{K}$) $\to$ EM($\mathcal{K}$) between them. We show that this 2-functor can be obtained as a "free completion" of the 2-functor $1\colon \mathcal{K} \to \mathcal{K}$. W… ▽ More For a 2-category $\mathcal{K}$, we consider Street's 2-category Mnd($\mathcal{K}$) of monads in $\mathcal{K}$, along with Lack and Street's 2-category EM($\mathcal{K}$) and the identity-on-objects-and-1-cells 2-functor Mnd($\mathcal{K}$) $\to$ EM($\mathcal{K}$) between them. We show that this 2-functor can be obtained as a "free completion" of the 2-functor $1\colon \mathcal{K} \to \mathcal{K}$. We do this by regarding 2-functors which act as the identity on both objects and 1-cells as categories enriched a cartesian closed category $\mathbf{BO}$ whose objects are identity-on-objects functors. We also develop some of the theory of $\mathbf{BO}$-enriched categories. △ Less

Submitted 2 July, 2024; v1 submitted 3 November, 2022; originally announced November 2022.

Comments: Accepted for publication at Theory and Applications of Categories

MSC Class: 18C15; 18C20; 18D20; 18N10; 18A35

Journal ref: Theory and Applications of Categories, Vol. 42, 2024, No. 1, pp 2-18

Virtual concepts in the theory of accessible categories

Authors: Stephen Lack, Giacomo Tendas

Abstract: We provide a new characterization of enriched accessible categories by introducing the two new notions of virtual reflectivity and virtual orthogonality as a generalization of the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the… ▽ More We provide a new characterization of enriched accessible categories by introducing the two new notions of virtual reflectivity and virtual orthogonality as a generalization of the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the $\mathcal V$-category involved under small limits, instead of the $\mathcal V$-category itself. In this way we hope to provide a clearer understanding of the theory as well as a useful way of recognizing accessible $\mathcal V$-categories. In the last section we prove that the 2-category of accessible $\mathcal V$-categories, accessible $\mathcal V$-functors, and $\mathcal V$-natural transformations has all flexible limits. △ Less

Submitted 25 July, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: Minor changes, Remark 4.12 is new

MSC Class: 18D20; 18C35; 18C30; 18A35

Journal ref: Journal of Pure and Applied Algebra, 227(2):107196, 2023

Accessible $\infty$-cosmoi

Authors: John Bourke, Stephen Lack

Abstract: We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of $\infty$-cosmoi are accessible. By the adjoint functor theorem for homotopically enriched categories which we proved in an earlier paper, joint with Lukas Vokrinek, it fo… ▽ More We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of $\infty$-cosmoi are accessible. By the adjoint functor theorem for homotopically enriched categories which we proved in an earlier paper, joint with Lukas Vokrinek, it follows, for instance, that all such $\infty$-cosmoi have flexibly weighted homotopy colimits. △ Less

Submitted 12 December, 2022; v1 submitted 29 October, 2021; originally announced November 2021.

Comments: 36 pages. v2 published version

MSC Class: 18N60; 18C35; 18N40

Journal ref: Journal of Pure and Applied Algebra 227 (2023) 107255

Flat vs. filtered colimits in the enriched context

Authors: Stephen Lack, Giacomo Tendas

Abstract: The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically finitely accessible categories can be characterized as: (a) free cocompletions of small categories under filtered colimits, and (b) categories of flat presheaves on s… ▽ More The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically finitely accessible categories can be characterized as: (a) free cocompletions of small categories under filtered colimits, and (b) categories of flat presheaves on some small category. The equivalence between (a) and (b) is what makes the theory so general and fruitful. Notions of enriched accessibility have also been considered in the literature for various bases of enrichment, such as $\mathbf{Ab},\mathbf{SSet},\mathbf{Cat}$ and $\mathbf{Met}$. The problem in this context is that the equivalence between (a) and (b) is no longer true in general. The aim of this paper is then to: (1) give sufficient conditions on $\mathcal V$ so that (a) $\Leftrightarrow$ (b) holds; (2) give sufficient conditions on $\mathcal V$ so that (a) $\Leftrightarrow $ (b) holds up to Cauchy completion; (3) explore some examples not covered by (1) or (2). △ Less

Submitted 31 March, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: Revised version: major changes to the introduction, added some words at the beginning of Sect. 3 and 4. To appear on Advances in Mathematics

MSC Class: 18D20; 18C35; 18A35; 18N10; 18N50; 18G35

Journal ref: Advances in Mathematics, Volume 404, Part A, 6 August 2022, 108381

Adjoint functor theorems for homotopically enriched categories

Authors: John Bourke, Stephen Lack, Lukáš Vokřínek

Abstract: We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched version of Freyd's adjoint functor theorem. For non-trivial model structures, we obtain new adjoint functor theorems of a homotopical flavour - in particular, when… ▽ More We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched version of Freyd's adjoint functor theorem. For non-trivial model structures, we obtain new adjoint functor theorems of a homotopical flavour - in particular, when $\mathcal V$ is the category of simplical sets we obtain a homotopical adjoint functor theorem appropriate to the $\infty$-cosmoi of Riehl and Verity. We also investigate accessibility in the enriched setting, in particular obtaining homotopical cocompleteness results for accessible $\infty$-cosmoi. △ Less

Submitted 12 December, 2022; v1 submitted 14 June, 2020; originally announced June 2020.

Comments: Some updated terminology and minor changes. Final journal version

Journal ref: Advances in Mathematics 412 (2023) 108812

Enriched Regular Theories

Authors: Stephen Lack, Giacomo Tendas

Abstract: Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain theory, in the sense of logic, whose models are the regular functors into Set. Barr further showed that each small and regular category can be embedded in a particul… ▽ More Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain theory, in the sense of logic, whose models are the regular functors into Set. Barr further showed that each small and regular category can be embedded in a particular category of presheaves; then in 1990 Makkai gave a simple explicit characterization of the essential image of the embedding, in the case where the original regular category is moreover exact. More recently Prest and Rajani, in the additive context, and Kuber and Rosický, in the ordinary one, described a duality which connects an exact category with its (definable) category of models. Considering a suitable base for enrichment, we define an enriched notion of regularity and exactness, and prove a corresponding version of the theorems of Barr, of Makkai, and of Prest-Rajani/Kuber-Rosický. △ Less

Submitted 6 December, 2019; v1 submitted 4 July, 2019; originally announced July 2019.

Comments: Reviewed version: changed statement of Theorem 3.3; changed proof of Lemma 8.2; added minor comments. To appear in the Journal of Pure and Applied Algebra: https://doi.org/10.1016/j.jpaa.2019.106268

MSC Class: 18D20; 18C10; 18C35; 18B15

Journal ref: Journal of Pure and Applied Algebra 224(6):106268, 2020

Braided skew monoidal categories

Authors: John Bourke, Stephen Lack

Abstract: We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known as coquasitriangular structures) on bialgebras. Using a multicategorical approach we also describe examples of braidings on skew monoidal categories arising fr… ▽ More We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known as coquasitriangular structures) on bialgebras. Using a multicategorical approach we also describe examples of braidings on skew monoidal categories arising from 2-category theory. △ Less

Submitted 27 January, 2020; v1 submitted 21 December, 2017; originally announced December 2017.

Comments: v2 is the published version, with various changes and additions, including the relationship between braidings on skew multicategories and braidings on skew monoidal categories

MSC Class: 18M50; 18M15; 18N10; 18N40; 16T10 (MSC2020)

Journal ref: Theory and Applications of Categories, Vol. 35, 2020, No. 2, pp 19-63

Skew monoidal categories and skew multicategories

Authors: John Bourke, Stephen Lack

Abstract: We describe a perfect correspondence between skew monoidal categories and certain generalised multicategories, called skew multicategories, that arise in nature. We describe a perfect correspondence between skew monoidal categories and certain generalised multicategories, called skew multicategories, that arise in nature. △ Less

Submitted 5 September, 2017; v1 submitted 21 August, 2017; originally announced August 2017.

Comments: v2: updated reference

Journal ref: Journal of Algebra 506:237-266, 2018

Free skew monoidal categories

Authors: John Bourke, Stephen Lack

Abstract: In the paper "Triangulations, orientals, and skew monoidal categories", the free monoidal category Fsk on a single generating object was described. We sharpen this by giving a completely explicit description of Fsk, and so of the free skew monoidal category on any category. As an application we describe adjunctions between the operad for skew monoidal categories and various simpler operads. For a… ▽ More In the paper "Triangulations, orientals, and skew monoidal categories", the free monoidal category Fsk on a single generating object was described. We sharpen this by giving a completely explicit description of Fsk, and so of the free skew monoidal category on any category. As an application we describe adjunctions between the operad for skew monoidal categories and various simpler operads. For a particular such operad L, we identify skew monoidal categories with certain colax L-algebras. △ Less

Submitted 16 August, 2023; v1 submitted 21 August, 2017; originally announced August 2017.

Comments: v3: published version

Journal ref: Journal of Pure and Applied Algebra 222(10):3255-3281, 2018

Operadic categories and their skew monoidal categories of collections

Authors: Stephen Lack

Abstract: I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an operad over the operadic category. In fact I describe two skew monoidal categories with this property. The first has the feature that the operadic category can b… ▽ More I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an operad over the operadic category. In fact I describe two skew monoidal categories with this property. The first has the feature that the operadic category can be recovered from the skew monoidal category of collections; the second has the feature that the right unit constraint is invertible. In the case of the operadic category S of finite sets and functions, for which an operad is just a symmetric operad in the usual sense, the first skew monoidal category has underlying category [N, Set], and the second is the usual monoidal category of collections [P, Set] with the substitution monoidal structure. △ Less

Submitted 19 October, 2016; originally announced October 2016.

Comments: 37 pages

Journal ref: Higher Structures 2(1), 2018

Weak multiplier bimonoids

Authors: Gabriella Böhm, José Goméz-Torrecillas, Stephen Lack

Abstract: Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided monoidal categories. Under some assumptions the so-called base object of a regular weak multiplier bimonoid is shown to carry a coseparable comonoid structure; henc… ▽ More Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided monoidal categories. Under some assumptions the so-called base object of a regular weak multiplier bimonoid is shown to carry a coseparable comonoid structure; hence to possess a monoidal category of bicomodules. In this case, appropriately defined modules over a regular weak multiplier bimonoid are proven to constitute a monoidal category with a strict monoidal forgetful type functor to the category of bicomodules over the base object. Braided monoidal categories considered include various categories of modules or graded modules, the category of complete bornological spaces, and the category of complex Hilbert spaces and continuous linear transformations. △ Less

Submitted 17 March, 2016; originally announced March 2016.

Comments: 56 pages

MSC Class: 18D10; 18D35; 16T10

Journal ref: Applied Categorical Structures 26(1):47-11, 2018

A simplicial approach to multiplier bimonoids

Authors: Gabriella Böhm, Stephen Lack

Abstract: Although multiplier bimonoids in general are not known to correspond to comonoids in any monoidal category, we classify them in terms of maps from the Catalan simplicial set to another suitable simplicial set; thus they can be regarded as (co)monoids in something more general than a monoidal category (namely, the simplicial set itself). We analyze the particular simplicial maps corresponding to th… ▽ More Although multiplier bimonoids in general are not known to correspond to comonoids in any monoidal category, we classify them in terms of maps from the Catalan simplicial set to another suitable simplicial set; thus they can be regarded as (co)monoids in something more general than a monoidal category (namely, the simplicial set itself). We analyze the particular simplicial maps corresponding to that class of multiplier bimonoids which can be regarded as comonoids. △ Less

Submitted 2 April, 2016; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: 14 pages; v2 minor changes only, to appear in Bulletin of the Belgian Mathematical Society -- Simon Stevin

MSC Class: 18D10; 16T10; 18G30

Journal ref: Bull. Belg. Math. Soc. Simon Stevin Volume 24, Number 1 (2017), 107-122

Multiplier Hopf monoids

Authors: Gabriella B"ohm, Stephen Lack

Abstract: The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's definition of multiplier Hopf algebra is re-obtained. It is shown that the key features of multiplier Hopf algebras (over fields) remain valid in this more general con… ▽ More The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's definition of multiplier Hopf algebra is re-obtained. It is shown that the key features of multiplier Hopf algebras (over fields) remain valid in this more general context. Namely, for a multiplier Hopf monoid A, the existence of a unique antipode is proved --- in an appropriate, multiplier-valued sense --- which is shown to be a morphism of multiplier bimonoids from a twisted version of A to A. For a regular multiplier Hopf monoid (whose twisted versions are multiplier Hopf monoids as well) the antipode is proved to factorize through a proper automorphism of the object A. Under mild further assumptions, duals in the base category are shown to lift to the monoidal categories of modules and of comodules over a regular multiplier Hopf monoid. Finally, the so-called Fundamental Theorem of Hopf modules is proved --- which states an equivalence between the base category and the category of Hopf modules over a multiplier Hopf monoid. △ Less

Submitted 2 May, 2016; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: 43 pages; v2 minor revisions and additions, now 48 pages

Journal ref: Algebras and Representation Theory, 20(1):1-46, 2017

Hochschild homology, lax codescent, and duplicial structure

Authors: Richard Garner, Stephen Lack, Paul Slevin

Abstract: We study the duplicial objects of Dwyer and Kan, which generalize the cyclic objects of Connes. We describe duplicial objects in terms of the decalage comonads, and we give a conceptual account of the construction of duplicial objects due to Bohm and Stefan. This is done in terms of a 2-categorical generalization of Hochschild homology. We also study duplicial structure on nerves of categories, bi… ▽ More We study the duplicial objects of Dwyer and Kan, which generalize the cyclic objects of Connes. We describe duplicial objects in terms of the decalage comonads, and we give a conceptual account of the construction of duplicial objects due to Bohm and Stefan. This is done in terms of a 2-categorical generalization of Hochschild homology. We also study duplicial structure on nerves of categories, bicategories, and monoidal categories. △ Less

Submitted 29 October, 2015; originally announced October 2015.

Comments: 27 pages

Journal ref: Ann. K-Th. 3 (2018) 1-31

A category of multiplier bimonoids

Authors: Gabriella Böhm, Stephen Lack

Abstract: The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose objects are certain semigroups in C and whose morphisms from A to B can be regarded as suitable multiplicative morphisms from A to the multiplier monoid of B. We equi… ▽ More The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose objects are certain semigroups in C and whose morphisms from A to B can be regarded as suitable multiplicative morphisms from A to the multiplier monoid of B. We equip this category M with a monoidal structure and describe multiplier bimonoids in C (whose structure morphisms belong to a distinguished class of regular epimorphisms) as certain comonoids in M. This provides us with one possible notion of morphism between such multiplier bimonoids. △ Less

Submitted 23 September, 2015; originally announced September 2015.

Journal ref: Applied Categorical Structures, 25(2):279-301, 2017

Hopf comonads on naturally Frobenius map-monoidales

Authors: Gabriella Böhm, Stephen Lack

Abstract: We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative… ▽ More We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative functors and the splitting of idempotent 2-cells in $\mathcal M$, we show all these Hopf-like conditions to be equivalent. Our results imply in particular several equivalent characterizations of Hopf algebras in braided monoidal categories, of small groupoids, of Hopf algebroids over commutative base algebras, of weak Hopf algebras, and of Hopf monads in the sense of Bruguières and Virelizier. △ Less

Submitted 21 November, 2014; originally announced November 2014.

Comments: 37 pages, a number of commutative diagrams

Journal ref: Journal of Pure and Applied Algebra 220:2177-2213, 2016

Skew-monoidal reflection and lifting theorems

Authors: Stephen Lack, Ross Street

Abstract: 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 importan… ▽ More 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. △ Less

Submitted 12 July, 2015; v1 submitted 25 October, 2014; originally announced October 2014.

Comments: Roughly the first half on the skew reflection theorem was presented to the Australian Category Seminar on 27 August 2014. Version 2 is 14 pages and includes a title change. There is new material on skew warpings riding an action and a skew-monoidal lifting theorem. Version 3: added reference; now published in TAC

MSC Class: 18D10

Journal ref: Theory and Applications of Categories, Vol. 30, No. 28, 2015, pp. 985-1000

On monads and warpings

Authors: Stephen Lack, Ross Street

Abstract: 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 f… ▽ More 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. △ Less

Submitted 30 October, 2014; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: 15 pages. Version 2: revised based on a very helpful report from the referee. To appear in the Cahiers de Topologie and Geometrie Differentielle Categoriques

MSC Class: 18C15; 18D05; 18D10

Journal ref: Cahiers de Topologie et Geometrie Differentielle Categoriques, LV(4):244-266, 2014

Multiplier bialgebras in braided monoidal categories

Authors: Gabriella Böhm, Stephen Lack

Abstract: Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced functors. Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced functors. △ Less

Submitted 4 November, 2014; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: v2: new title, more about the non-degenerate case, various other revisions

Journal ref: Journal of Algebra, 423:853-889, 2015

Semi-localizations of semi-abelian categories

Authors: Marino Gran, Stephen Lack

Abstract: A semi-localization of a category is a full reflective subcategory with the property that the reflector is semi-left-exact. In this article we first determine an abstract characterization of the categories which are semi-localizations of an exact Mal'tsev category, by specializing a result due to S. Mantovani. We then turn our attention to semi-abelian categories, where a special type of semi-loca… ▽ More A semi-localization of a category is a full reflective subcategory with the property that the reflector is semi-left-exact. In this article we first determine an abstract characterization of the categories which are semi-localizations of an exact Mal'tsev category, by specializing a result due to S. Mantovani. We then turn our attention to semi-abelian categories, where a special type of semi-localizations are known to coincide with torsion-free subcategories. A new characterisation of protomodular categories in terms of binary relations is obtained, inspired by the one discovered in the pointed context by Z. Janelidze. This result is useful to obtain an abstract characterization of the torsion-free and of the hereditarily-torsion-free subcategories of semi-abelian categories. Some examples are considered in detail in the categories of groups, crossed modules, commutative rings and topological groups. We finally explain how these results extend similar ones obtained by W. Rump in the abelian context. △ Less

Submitted 7 July, 2015; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: 30 pages. v2: introduction and references updated

Journal ref: Journal of Algebra, Vol. 454, 206-232, 2016

Combinatorial categorical equivalences of Dold-Kan type

Authors: Stephen Lack, Ross Street

Abstract: We prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathscr{X}$ denote an additive category with finite direct sums and split idempotents. The class includes (a) the Dold-Puppe-Kan theorem that simplicial objects in $\mathscr{X}$ are equivalent to chain complexes in $\mathscr{X}$; (b) the… ▽ More We prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathscr{X}$ denote an additive category with finite direct sums and split idempotents. The class includes (a) the Dold-Puppe-Kan theorem that simplicial objects in $\mathscr{X}$ are equivalent to chain complexes in $\mathscr{X}$; (b) the observation of Church, Ellenberg and Farb that $\mathscr{X}$-valued species are equivalent to $\mathscr{X}$-valued functors from the category of finite sets and injective partial functions; (c) a result T. Pirashvili calls of "Dold-Kan type"; and so on. When $\mathscr{X}$ is semi-abelian, we prove the adjunction that was an equivalence is now at least monadic, in the spirit of a theorem of D. Bourn. △ Less

Submitted 28 March, 2019; v1 submitted 28 February, 2014; originally announced February 2014.

Comments: We found a gap in the proof of Proposition 6.5 in version 4, which we have fixed with a new Assumption 2.6 in version 5. This holds in all our examples as shown in Proposition 2.9 of version 5. This new assumption is used only in the proof of what is now Theorem 6.5. Some other tidying up and minor corrections have also been made

MSC Class: 18A25; 18A32; 18B10; 18G30; 18G35; 20C30

Journal ref: Journal of Pure and Applied Algebra 219 (2015), pp. 4343-4367

Homotopy locally presentable enriched categories

Authors: Stephen Lack, Jiri Rosicky

Abstract: We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant. We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant. △ Less

Submitted 28 June, 2015; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 48 pages. Significant changes in v2, especially in the last section

Journal ref: Theory and Applications of Categories, 31:712-754, 2016

The Catalan simplicial set

Authors: Mitchell Buckley, Richard Garner, Stephen Lack, Ross Street

Abstract: The Catalan numbers are well-known to be the answer to many different counting problems, and so there are many different families of sets whose cardinalities are the Catalan numbers. We show how such a family can be given the structure of a simplicial set. We show how the low-dimensional parts of this simplicial set classify, in a precise sense, the structures of monoid and of monoidal category. T… ▽ More The Catalan numbers are well-known to be the answer to many different counting problems, and so there are many different families of sets whose cardinalities are the Catalan numbers. We show how such a family can be given the structure of a simplicial set. We show how the low-dimensional parts of this simplicial set classify, in a precise sense, the structures of monoid and of monoidal category. This involves aspects of combinatorics, algebraic topology, quantum groups, logic, and category theory. △ Less

Submitted 30 October, 2014; v1 submitted 24 September, 2013; originally announced September 2013.

Comments: 15 pages. Replaces and expands upon parts of arXiv:1307.0265; remaining parts of arXiv:1307.0265 will be incorporated into a sequel. Version 2: minor revision; to appear in Math. Proc. Camb. Phil. Soc

MSC Class: 18D10; 05A5; 18D05; 18G30; 55U10; 17B37; 20G42; 81R50

Journal ref: Math. Proc. Camb. Phil. Soc. 158(2):211-222, 2015

Skew-monoidal categories and the Catalan simplicial set

Authors: Mitchell Buckley, Richard Garner, Stephen Lack, Ross Street

Abstract: 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… ▽ More 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. △ Less

Submitted 30 June, 2013; originally announced July 2013.

Triangulations, orientals, and skew monoidal categories

Authors: Stephen Lack, Ross Street

Abstract: 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 appropr… ▽ More 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. △ Less

Submitted 18 February, 2013; originally announced February 2013.

Comments: 48 pages

MSC Class: 18D10; 06A07; 52B20; 18D05; 16T05

Journal ref: Advances in Mathematics, 258: 351-396, 2014

A skew-duoidal Eckmann-Hilton argument and quantum categories

Authors: Stephen Lack, Ross Street

Abstract: 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 structure… ▽ More 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. △ Less

Submitted 18 February, 2013; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: 14 pages, dedicated to George Janelidze on the occasion of his 60th birthday; v2 final version, 15 pages, to appear in Applied Categorical Structures

MSC Class: 18D10; 18D05; 16T15; 17B37; 20G42; 81R50

Journal ref: Applied Categorical Strucures 22(5):789-803, 2014

Morita contexts as lax functors

Authors: Stephen Lack

Abstract: Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita contexts to be seen as special cases of general results about lax functors. The account we give of this could serve as an introduction to lax functors for those famili… ▽ More Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita contexts to be seen as special cases of general results about lax functors. The account we give of this could serve as an introduction to lax functors for those familiar with the theory of monads. We also prove some very general results along these lines relative to a given 2-comonad, with the classical case of ordinary monad theory amounting to the case of the identity comonad on Cat. △ Less

Submitted 8 April, 2013; v1 submitted 20 September, 2012; originally announced September 2012.

Comments: v2 minor changes, added references; to appear in Applied Categorical Structures

Journal ref: Applied Categorical Structures 22(2): 311-330, 2014

Skew monoidales, skew warpings and quantum categories

Authors: Stephen Lack, Ross Street

Abstract: 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… ▽ More 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. △ Less

Submitted 4 September, 2012; v1 submitted 30 April, 2012; originally announced May 2012.

Comments: Minor changes and some renumbering in this version

Journal ref: Theory and Applications of Categories, Vol. 26, 2012, No. 15, pp 385-402

On the axioms for adhesive and quasiadhesive categories

Authors: Richard Garner, Stephen Lack

Abstract: A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only pushouts along regular monomorphisms, or by asking only for the exactness conditions which hold in a quasitopos. We prove four characterization theorems dealing wit… ▽ More A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only pushouts along regular monomorphisms, or by asking only for the exactness conditions which hold in a quasitopos. We prove four characterization theorems dealing with adhesive categories and their variants. △ Less

Submitted 7 May, 2012; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: 20 pages; v2 final version, contains more details in some proofs

Journal ref: Theory and Applications of Categories 27(3):27-46, 2012,

Lex colimits

Authors: Richard Garner, Stephen Lack

Abstract: Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactness" conditions between the finite limits and the specified colimits. Some examples are the notions of regular, or Barr-exact, or lextensive, or coherent, or adhesive category. We introduce a general notion of exactness, of which each of the structures listed above, and oth… ▽ More Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactness" conditions between the finite limits and the specified colimits. Some examples are the notions of regular, or Barr-exact, or lextensive, or coherent, or adhesive category. We introduce a general notion of exactness, of which each of the structures listed above, and others besides, are particular instances. The notion can be understood as a form of cocompleteness "in the lex world" -- more precisely, in the 2-category of finitely complete categories and finite-limit preserving functors. △ Less

Submitted 3 January, 2012; v1 submitted 5 July, 2011; originally announced July 2011.

Comments: 38 pages; v2: final journal version, various minor changes and new Section 5.9 dealing with filtered colimits

MSC Class: 18A35; 18E10 (Primary) 18B15; 18B25 (Secondary)

Journal ref: Journal of Pure and Applied Algebra, 216(6):1372-1396, 2012

Grothendieck quasitoposes

Authors: Richard Garner, Stephen Lack

Abstract: A full reflective subcategory E of a presheaf category [C*,Set] is the category of sheaves for a topology j on C if and only if the reflection preserves finite limits. Such an E is called a Grothendieck topos. More generally, one can consider two topologies, j contained in k, and the category of sheaves for j which are separated for k. The categories E of this form, for some C, j, and k, are the G… ▽ More A full reflective subcategory E of a presheaf category [C*,Set] is the category of sheaves for a topology j on C if and only if the reflection preserves finite limits. Such an E is called a Grothendieck topos. More generally, one can consider two topologies, j contained in k, and the category of sheaves for j which are separated for k. The categories E of this form, for some C, j, and k, are the Grothendieck quasitoposes of the title, previously studied by Borceux and Pedicchio, and include many examples of categories of spaces. They also include the category of concrete sheaves for a concrete site. We show that a full reflective subcategory E of [C*,Set] arises in this way for some j and k if and only if the reflection preserves monomorphisms as well as pullbacks over elements of E. △ Less

Submitted 4 January, 2012; v1 submitted 27 June, 2011; originally announced June 2011.

Comments: v2: 24 pages, several revisions based on suggestions of referee, especially the new theorem 5.2; to appear in the Journal of Algebra

Journal ref: Journal of Algebra, 355(1):111-126, 2012

Enhanced 2-categories and limits for lax morphisms

Authors: Stephen Lack, Michael Shulman

Abstract: We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is done using the framework of 2-monads. In order to characterize the limits which exist in this context, we need to consider also the functors which do strictly pres… ▽ More We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is done using the framework of 2-monads. In order to characterize the limits which exist in this context, we need to consider also the functors which do strictly preserve the extra structure. We show how such a 2-category of weak morphisms which is "enhanced", by specifying which of these weak morphisms are actually strict, can be thought of as category enriched over a particular base cartesian closed category F. We give a complete characterization, in terms of F-enriched category theory, of the limits which exist in such 2-categories of categories with extra structure. △ Less

Submitted 11 September, 2011; v1 submitted 12 April, 2011; originally announced April 2011.

Comments: 77 pages; v2 minor changes only, to appear in Advances

Journal ref: Advances in Mathematics 229 (1):294-356, 2012

An embedding theorem for adhesive categories

Authors: Stephen Lack

Abstract: Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also prove a converse: every small adhesive category has a fully faithful functor in a topos, with the functor preserving the all the structure. Combining these two… ▽ More Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also prove a converse: every small adhesive category has a fully faithful functor in a topos, with the functor preserving the all the structure. Combining these two results, we see that the exactness conditions in the definition of adhesive category are exactly the relationship between pushouts along monomorphisms and pullbacks which hold in any topos. △ Less

Submitted 2 March, 2011; originally announced March 2011.

Comments: 8 pages

MSC Class: 18A30; 18B15; 18B25

Journal ref: Theory and Applications of Categories, Vol. 25, No. 7, 2011, pp. 180-188

Idempotent splittings, colimit completion, and weak aspects of the theory of monads

Authors: Gabriella Böhm, Stephen Lack, Ross Street

Abstract: We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories. We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories. △ Less

Submitted 3 August, 2011; v1 submitted 24 February, 2011; originally announced February 2011.

Comments: LaTeX source 23 pages; v3 final version, minor corrections only, to appear in Journal of Pure and Applied Algebra

MSC Class: 18D05; 18C15; 18C20; 18A35; 16T05

Journal ref: Journal of Pure and Applied Algebra, 216(2):385-403, 2012

On the 2-categories of weak distributive laws

Authors: Gabriella Böhm, Stephen Lack, Ross Street

Abstract: 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… ▽ More 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}. △ Less

Submitted 14 November, 2011; v1 submitted 17 September, 2010; originally announced September 2010.

Comments: 15 pages LaTeX source, final version to appear in Comm. Algebra

MSC Class: 18D05; 18C15; 18C20; 16T05

Journal ref: Comm. Algebra 39 (2011), no. 12, 4567-4583

Enriched weakness

Authors: Stephen Lack, Jiri Rosicky

Abstract: The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for existence. The enriched versions of the usual notions involve certain morphisms between hom-objects being invertible; here we introduce enriched versions of the we… ▽ More The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for existence. The enriched versions of the usual notions involve certain morphisms between hom-objects being invertible; here we introduce enriched versions of the weak notions by asking that the morphisms between hom-objects belong to a chosen class of "surjections". We study in particular injectivity (weak orthogonality) in the enriched context, and illustrate how it can be used to describe homotopy coherent structures. △ Less

Submitted 30 January, 2011; v1 submitted 8 September, 2010; originally announced September 2010.

Comments: 25 pages; v2 minor changes, to appear in JPAA

MSC Class: 18D20; 18C35; 18G55

Journal ref: Journal of Pure and Applied Algebra 216(8-9): 1807-1822, 2012

Hopf monads on monoidal categories

Authors: Alain Bruguières, Steve Lack, Alexis Virelizier

Abstract: We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hop… ▽ More We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode. Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid. Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford-Majid bosonization of Hopf algebras). We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler's Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad). △ Less

Submitted 19 February, 2011; v1 submitted 9 March, 2010; originally announced March 2010.

Comments: 45 pages

MSC Class: 18C20; 16T05; 18D10; 18D15

Journal ref: Advances in Mathematics, 227(2):745-800, 2011

Weak bimonads and weak Hopf monads

Authors: Gabriella Böhm, Stephen Lack, Ross Street

Abstract: 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… ▽ More 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. △ Less

Submitted 30 July, 2010; v1 submitted 24 February, 2010; originally announced February 2010.

Comments: 29 pages; version 2 minor corrections and added references, also added remark 4.3; title changed from "Weak bimonads" to "Weak bimonads and weak Hopf monads"; to appear in Journal of Algebra

MSC Class: 18D10; 18C15; 16T10; 16T05

Journal ref: Journal of Algebra, 28(1):1-30, 2011

Hopf monoidal comonads

Authors: Dimitri Chikhladze, Stephen Lack, Ross Street

Abstract: Alain Bruguieres, in his talk [1], announced his work [2] with Alexis Virelizier and the second author which dealt with lifting closed structure on a monoidal category to the category of Eilenberg-Moore algebras for an opmonoidal monad. Our purpose here is to generalize that work to the context internal to an autonomous monoidal bicategory. The result then applies to quantum categories and bialg… ▽ More Alain Bruguieres, in his talk [1], announced his work [2] with Alexis Virelizier and the second author which dealt with lifting closed structure on a monoidal category to the category of Eilenberg-Moore algebras for an opmonoidal monad. Our purpose here is to generalize that work to the context internal to an autonomous monoidal bicategory. The result then applies to quantum categories and bialgebroids. △ Less

Submitted 7 February, 2010; v1 submitted 5 February, 2010; originally announced February 2010.

Comments: 10 pages

MSC Class: 18D05; 81R50

Journal ref: Theory and Applications of Categories, Vol. 24, No. 19, 2010, pp. 554-563

A Quillen model structure for Gray-categories

Authors: Stephen Lack

Abstract: A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-Gpd of Gray-groupoids. This is used to provide a functorial and model-theoretic proof of the unpublished theorem of Joyal and Tierney that Gray-groupoids model homotopy 3-types. The model structure on Gra… ▽ More A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-Gpd of Gray-groupoids. This is used to provide a functorial and model-theoretic proof of the unpublished theorem of Joyal and Tierney that Gray-groupoids model homotopy 3-types. The model structure on Gray-Cat is conjectured to be Quillen equivalent to a model structure on the category Tricat of tricategories and strict homomorphisms of tricategories. △ Less

Submitted 4 February, 2010; v1 submitted 13 January, 2010; originally announced January 2010.

Comments: v2: fuller discussion of relationship with work of Berger; localizations are done directly with simplicial sets

MSC Class: 18D20; 18G30; 55U35; 18G30

Journal ref: J. K-theory 8:183-221, 2011

Non-canonical isomorphisms

Authors: Stephen Lack

Abstract: We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is distributive categories, the second (semi-)additive ones. We show that each follows from a general result about monoidal functors. We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is distributive categories, the second (semi-)additive ones. We show that each follows from a general result about monoidal functors. △ Less

Submitted 10 December, 2009; originally announced December 2009.

Comments: 6 pages

MSC Class: 18A35; 18D10

Journal ref: Journal of Pure and Applied Algebra, 216(3):593-597 (2012)

Bicategories of spans as cartesian bicategories

Authors: Stephen Lack, R. F. C. Walters, R. J. Wood

Abstract: Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic. Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic. △ Less

Submitted 12 February, 2010; v1 submitted 15 October, 2009; originally announced October 2009.

Journal ref: Theory and Applications of Categories, Vol. 24, No. 1, 2010, pp. 1{24

Notions of Lawvere theory

Authors: Stephen Lack, Jiri Rosicky

Abstract: Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how this equivalence, and the basic results of universal algebra, can be generalized in three ways: replacing Set by another category, working in an enriched sett… ▽ More Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how this equivalence, and the basic results of universal algebra, can be generalized in three ways: replacing Set by another category, working in an enriched setting, and by working with another class of limits than finite products. An important special case involves working with sifted-colimit-preserving monads rather than filtered-colimit-preserving ones. △ Less

Submitted 14 October, 2009; v1 submitted 14 October, 2008; originally announced October 2008.

Comments: 27 pages. v2 minor changes, final version, to appear in Applied Categorical Structures

MSC Class: 18C10; 18C15; 18D20

Journal ref: Applied Categorical Structures 19(1):363-391, 2011

Note on the construction of free monoids

Authors: Stephen Lack

Abstract: We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains. We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains. △ Less

Submitted 15 September, 2008; v1 submitted 13 February, 2008; originally announced February 2008.

Comments: 14 pages; in this version a little more detail given in Section 3

MSC Class: 18D10; 18A40

Journal ref: Applied Categorical Structures, 18(1):17-29, 2010

Icons

Authors: Stephen Lack

Abstract: Categorical orthodoxy has it that collections of ordinary mathematical structures such as groups, rings, or spaces, form categories (such as the category of groups); collections of 1-dimensional categorical structures, such as categories, monoidal categories, or categories with finite limits, form 2-categories; and collections of 2-dimensional categorical structures, such as 2-categories or bica… ▽ More Categorical orthodoxy has it that collections of ordinary mathematical structures such as groups, rings, or spaces, form categories (such as the category of groups); collections of 1-dimensional categorical structures, such as categories, monoidal categories, or categories with finite limits, form 2-categories; and collections of 2-dimensional categorical structures, such as 2-categories or bicategories, form 3-categories. We describe a useful way in which to regard bicategories as objects of a 2-category. This is a bit surprising both for technical and for conceptual reasons. The 2-cells of this 2-category are the crucial new ingredient; they are the icons of the title. These can be thought of as ``the oplax natural transformations whose components are identities'', but we shall also give a more elementary description. We describe some properties of these icons, and give applications to monoidal categories, to 2-nerves of bicategories, to 2-dimensional Lawvere theories, and to bundles of bicategories. △ Less

Submitted 29 November, 2007; originally announced November 2007.

Comments: 23 pages

MSC Class: 18D05; 18A23

Journal ref: Applied Categorical Structures, 18(3):289-307, 2010

A 2-categories companion

Authors: Stephen Lack

Abstract: This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way of these things, the choice of topics is somewhat personal. No attempt is made at either rigour or completeness. Nor is it completely introductory: you will no… ▽ More This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way of these things, the choice of topics is somewhat personal. No attempt is made at either rigour or completeness. Nor is it completely introductory: you will not find a definition of bicategory; but then nor will you really need one to read it. In keeping with the philosophy of category theory, the morphisms between bicategories play more of a role than the bicategories themselves. △ Less

Submitted 18 February, 2007; originally announced February 2007.

Comments: 73 pages; published in Towards Higher Categories, eds. John C. Baez and J. Peter May, Springer, 2009

MSC Class: 18D05; 18C15; 18C20; 18G55; 55U35