Showing 1–17 of 17 results for author: Gray, J R

Categorical-algebraic aspects of Heyting semilattices

Authors: Xabier García-Martínez, James R. A. Gray, Michael A. Hoefnagel, Tim Van der Linden, Corentin Vienne

Abstract: This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We confirm that the category of Heyting semilattices is not algebraically coherent, even though it satisfies a strong version of the so-called Smith is Huq condition (on the equivalence of two types of commutators). We a… ▽ More This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We confirm that the category of Heyting semilattices is not algebraically coherent, even though it satisfies a strong version of the so-called Smith is Huq condition (on the equivalence of two types of commutators). We also prove that Higgins commutators of normal subobjects are normal, as a consequence of the fact that Heyting semilattices form an arithmetical category. We provide an elementary characterisation of when a pair of subobjects commutes, and use this in the construction of two counterexamples. We further show that centralisers exist, centralisers of normal monomorphisms are normal monomorphisms, and normal monomorphisms are closed under composition. We study the latter condition in detail. On the other hand, we show that the category of Heyting semilattices does not satisfy normality of unions. Hence, it is not action accessible and so it does not admit all normalisers. In particular, this means that the known implication between action accessibility and the condition requiring the existence of centralisers of normal monomorphisms which are themselves normal, is strict. △ Less

Submitted 15 August, 2025; originally announced August 2025.

Comments: 31 pages

MSC Class: 03G25; 06A12; 18E13

When are exact categories co-exact?

Authors: James Richard Andrew Gray

Abstract: We show that opposite category of a cocomplete pretopos is ideally exact and arithmetical. We do this by showing that there are conditions common to additive and lextensive categories which, in the exact context, imply that: pushouts of monomorphisms along arbitrary morphisms exist and are pullbacks; monomorphisms are stable under pushout; co-reflexive-relations are co-effective-equivalence-relati… ▽ More We show that opposite category of a cocomplete pretopos is ideally exact and arithmetical. We do this by showing that there are conditions common to additive and lextensive categories which, in the exact context, imply that: pushouts of monomorphisms along arbitrary morphisms exist and are pullbacks; monomorphisms are stable under pushout; co-reflexive-relations are co-effective-equivalence-relations; and coprotomodularity holds. △ Less

Submitted 29 June, 2025; originally announced June 2025.

A note on split extension classifiers of perfect objects

Authors: James R. A. Gray

Abstract: We show that for a pointed protomodular category $\mathbb{C}$ satisfying a certain condition on those Huq commutators which exist, if $X$ is a perfect object in $\mathbb{C}$ such that the split extension classifier $[X]$ exists, then the centralizer of the \emph{conjugation} morphism $c_X : X\to [X]$ is trivial and hence $[X]$ has trivial center. We show that for a pointed protomodular category $\mathbb{C}$ satisfying a certain condition on those Huq commutators which exist, if $X$ is a perfect object in $\mathbb{C}$ such that the split extension classifier $[X]$ exists, then the centralizer of the \emph{conjugation} morphism $c_X : X\to [X]$ is trivial and hence $[X]$ has trivial center. △ Less

Submitted 1 August, 2022; originally announced August 2022.

A note on the relationship between action accessible and weakly action representable categories

Authors: James Richard Andrew Gray

Abstract: The main purpose of this paper is to show that the converse of the known implication weakly action representable implies action accessible is false. In particular we show that both action accessibility, as well as the (at least formally stronger) condition requiring the existence of all normalizers do not imply weakly-action-representability even for varieties. In addition we show that in contrast… ▽ More The main purpose of this paper is to show that the converse of the known implication weakly action representable implies action accessible is false. In particular we show that both action accessibility, as well as the (at least formally stronger) condition requiring the existence of all normalizers do not imply weakly-action-representability even for varieties. In addition we show that in contrast to both action accessibility and the condition requiring the existence of all normalizers, weakly-action representability is not necessarily inherited by Birkoff subcategories. △ Less

Submitted 13 July, 2022; originally announced July 2022.

A note on the Huq-commutativity of normal monomorphisms

Authors: James Richard Andrew Gray, Tamar Janelidze-Gray

Abstract: We give an alternative criteria for when a pair of Bourn-normal monomorphisms Huq-commute in a unital category. We use this to prove that in a unital category, in which a morphism is a monomorphism if and only if its kernel is zero morphism, a pair of Bourn-normal monomorphisms with the same codomain Huq-commute as soon as they have trivial pullback. As corollaries we show that several facts known… ▽ More We give an alternative criteria for when a pair of Bourn-normal monomorphisms Huq-commute in a unital category. We use this to prove that in a unital category, in which a morphism is a monomorphism if and only if its kernel is zero morphism, a pair of Bourn-normal monomorphisms with the same codomain Huq-commute as soon as they have trivial pullback. As corollaries we show that several facts known only in the protomodular context are in fact true in more general contexts. △ Less

Submitted 26 June, 2022; originally announced June 2022.

Algebraic logoi

Authors: D. Bourn, A. S. Cigoli, J. R. A. Gray, T. Van der Linden

Abstract: We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category is moreover well-powered with (small) joins, then the existence of split extension cores is equivalent to the condition that the change-of-base functors in the f… ▽ More We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category is moreover well-powered with (small) joins, then the existence of split extension cores is equivalent to the condition that the change-of-base functors in the fibration of points are geometric. We call a finitely complete category that satisfies this condition an algebraic logos. We give examples of such categories, compare them with algebraically coherent ones, and study equivalent conditions as well as stability under common categorical operations. △ Less

Submitted 23 September, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: Revision with changes throughout the text; new final section; 22 pages

MSC Class: 18E13; 18B25; 20F12; 17A99; 08C05

Journal ref: J. Pure Appl. Algebra 227 (2023), 107293

Complete objects in categories

Authors: James Richard Andrew Gray

Abstract: We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete) object is the product of an abelian proto-complete (respectively complete) object and a strong-complete object. This together with the observation that the trivial… ▽ More We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete) object is the product of an abelian proto-complete (respectively complete) object and a strong-complete object. This together with the observation that the trivial group is the only abelian complete group recovers a theorem of Baer classifying complete groups. In addition we generalize several theorems about groups (subgroups) with trivial center (respectively, centralizer), and provide a categorical explanation behind why the derivation algebra of a perfect Lie algebra with trivial center and the automorphism group of a non-abelian (characteristically) simple group are strong-complete. △ Less

Submitted 19 February, 2021; originally announced February 2021.

A note on images of cover relations

Authors: James Richard Andrew Gray

Abstract: For a category $\mathbb{C}$, a small category $\mathbb{I}$, and a pre-cover relation $\sqsubset$ on $\mathbb C$ we prove, under certain completeness assumptions on $\mathbb C$, that a morphism $g: B\to C$ in the functor category $\mathbb {C}^{\mathbb I}$ admits an image with respect to the pre-cover relation on $\mathbb C^{\mathbb I}$ induced by $\sqsubset$ as soon as each component of $g$ admits… ▽ More For a category $\mathbb{C}$, a small category $\mathbb{I}$, and a pre-cover relation $\sqsubset$ on $\mathbb C$ we prove, under certain completeness assumptions on $\mathbb C$, that a morphism $g: B\to C$ in the functor category $\mathbb {C}^{\mathbb I}$ admits an image with respect to the pre-cover relation on $\mathbb C^{\mathbb I}$ induced by $\sqsubset$ as soon as each component of $g$ admits an image with respect to $\sqsubset$. We then apply this to show that if a pointed category $\mathbb{C}$ is: (i) algebraically cartesian closed; (ii) exact protomodular and action accessible; or (iii) admits normalizers, then the same is true of each functor category $\mathbb{C}^{\mathbb I}$ with $\mathbb{I}$ finite. In addition, our results give explicit constructions of images in functor categories using limits and images in the underlying category. In particular, they can be used to give explicit constructions of both centralizers and normalizers in functor categories using limits and centralizers or normalizers (respectively) in the underlying category. △ Less

Submitted 13 November, 2020; originally announced November 2020.

Action representability of the category of internal groupoids

Authors: Marino Gran, James Richard Andrew Gray

Abstract: When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semi-abelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather… ▽ More When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semi-abelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather subtle. In the present article we give a sufficient condition for this to be true: in fact we prove that the category $\mathsf{Grpd}(\mathbb C)$ is a semi-abelian action representable algebraically coherent category with normalizers if and only if $\mathbb C$ is a semi-abelian action representable algebraically coherent category with normalizers. This result applies in particular to the categories of internal groupoids in the categories of groups, Lie algebras and cocommutative Hopf algebras, for instance. △ Less

Submitted 25 December, 2020; v1 submitted 20 September, 2020; originally announced September 2020.

Comments: 13 pages

MSC Class: 18D40; 18E13; 18E08; 16T05

Algebraic exponentiation for Lie algebras

Authors: Xabier García-Martínez, James R. A. Gray

Abstract: It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal category. In this way, we add some new examples to the brief list of known locally algebraically cartesian closed categories, including the categories of Lie sup… ▽ More It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal category. In this way, we add some new examples to the brief list of known locally algebraically cartesian closed categories, including the categories of Lie superalgebras and differentially graded Lie algebras amongst others. △ Less

Submitted 12 June, 2020; originally announced June 2020.

MSC Class: 18E99; 18A40; 18D15; 18D10; 17B99

Hall's criterion for nilpotence in semi-abelian categories

Authors: James Richard Andrew Gray

Abstract: A well-known theorem of P. Hall, usually called Hall's criterion for nilpotence, states: a group G is nilpotent whenever it has a normal subgroup N such that G/[N,N] and N are nilpotent. We widely generalize this result, replacing groups with objects in an abstract semi-abelian category satisfying suitable conditions. In particular, these conditions are satisfied in any algebraically coherent semi… ▽ More A well-known theorem of P. Hall, usually called Hall's criterion for nilpotence, states: a group G is nilpotent whenever it has a normal subgroup N such that G/[N,N] and N are nilpotent. We widely generalize this result, replacing groups with objects in an abstract semi-abelian category satisfying suitable conditions. In particular, these conditions are satisfied in any algebraically coherent semi-abelian category, and hence in many categories of classical algebraic structures (including a few where Hall's theorem is already known). Note that the categories of crossed modules, crossed Lie algebras, n-cat groups, and cocommutative Hopf algebras over fields are also algebraically coherent. We give, however, a counter-example showing that Hall's theorem does not hold in the (semi-abelian) variety of non-associative rings. △ Less

Submitted 4 May, 2019; v1 submitted 26 November, 2018; originally announced November 2018.

Journal ref: Advances in Mathematics 349 (2019) 911-919

Algebraically coherent categories

Authors: Alan S. Cigoli, James R. A. Gray, Tim Van der Linden

Abstract: We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdorff algebras… ▽ More We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdorff algebras over a semi-abelian algebraically coherent theory. We study equivalent conditions in the context of semi-abelian categories, as well as some of its consequences: including amongst others, strong protomodularity, and normality of Higgins commutators for normal subobjects, and in the varietal case, fibre-wise algebraic cartesian closedness. △ Less

Submitted 6 November, 2015; v1 submitted 15 September, 2014; originally announced September 2014.

Comments: 33 pages; changes throughout the text

MSC Class: 20F12; 08C05; 17A99; 18B25; 18G50

Journal ref: Theory Appl. Categ. 30 (2015), no. 54, 1864-1905

Peri-abelian categories and the universal central extension condition

Authors: James R. A. Gray, Tim Van der Linden

Abstract: We study the relation between Bourn's notion of peri-abelian category and conditions involving the coincidence of the Smith, Huq and Higgins commutators. In particular we show that a semi-abelian category is peri-abelian if and only if for each normal subobject $K\leq X$, the Higgins commutator of $K$ with itself coincides with the normalisation of the Smith commutator of the denormalisation of… ▽ More We study the relation between Bourn's notion of peri-abelian category and conditions involving the coincidence of the Smith, Huq and Higgins commutators. In particular we show that a semi-abelian category is peri-abelian if and only if for each normal subobject $K\leq X$, the Higgins commutator of $K$ with itself coincides with the normalisation of the Smith commutator of the denormalisation of $K$ with itself. We show that if a category is peri-abelian, then the condition (UCE), which was introduced and studied by Casas and the second author, holds for that category. In addition we show, using amongst other things a result by Cigoli, that all categories of interest in the sense of Orzech are peri-abelian and therefore satisfy the condition (UCE). △ Less

Submitted 8 August, 2014; v1 submitted 11 April, 2014; originally announced April 2014.

Comments: 14 pages, final version accepted for publication

MSC Class: 18B99; 18E99; 18G50; 20J05

Journal ref: J. Pure Appl. Algebra 219 (2015) 2506-2520

On the normality of Higgins commutators

Authors: Alan S. Cigoli, James R. A. Gray, Tim Van der Linden

Abstract: In a semi-abelian context, we study the condition (NH) asking that Higgins commutators of normal subobjects are normal subobjects. We provide examples of categories that do or do not satisfy this property. We focus on the relationship with the "Smith is Huq" condition (SH) and characterise those semi-abelian categories in which both (NH) and (SH) hold in terms of reflection and preservation proper… ▽ More In a semi-abelian context, we study the condition (NH) asking that Higgins commutators of normal subobjects are normal subobjects. We provide examples of categories that do or do not satisfy this property. We focus on the relationship with the "Smith is Huq" condition (SH) and characterise those semi-abelian categories in which both (NH) and (SH) hold in terms of reflection and preservation properties of the change of base functors of the fibration of points. △ Less

Submitted 4 April, 2014; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 15 pages; final published version

MSC Class: 08C05; 17A99; 18G50; 20F12

Journal ref: J. Pure Appl. Algebra 219 (2015) 897-912

Normalizers and split extensions

Authors: Dominique Bourn, James Richard Andrew Gray

Abstract: We make explicit a larger structural phenomenon hidden behind the existence of normalizers in terms of existence of certain cartesian maps related to the kernel functor. We make explicit a larger structural phenomenon hidden behind the existence of normalizers in terms of existence of certain cartesian maps related to the kernel functor. △ Less

Submitted 18 July, 2013; originally announced July 2013.

On algebraic and more general categories whose split epimorphisms have underlying product projections

Authors: James R. A. Gray, Nelson Martins-Ferreira

Abstract: We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterizations of protomodular, unital and subtractive varieties as well as varieties of right omega-loops and biternary systems. We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterizations of protomodular, unital and subtractive varieties as well as varieties of right omega-loops and biternary systems. △ Less

Submitted 9 August, 2012; originally announced August 2012.

Aspects of algebraic exponentiation

Authors: Dominique Bourn, James R. A. Gray

Abstract: We analyse some aspects of the notion of algebraic exponentiation introduced by the second author [16] and satisfied by the category of groups. We show how this notion provides a new approach to the categorical-algebraic question of the centralization. We explore, in the category of groups, the unusual universal properties and constructions determined by this notion, and we show how it is the orig… ▽ More We analyse some aspects of the notion of algebraic exponentiation introduced by the second author [16] and satisfied by the category of groups. We show how this notion provides a new approach to the categorical-algebraic question of the centralization. We explore, in the category of groups, the unusual universal properties and constructions determined by this notion, and we show how it is the origin of various properties of this category. △ Less

Submitted 18 December, 2011; originally announced December 2011.