Source author record

James Richard Andrew Gray

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CT

Catalog footprint

Research overview

4works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A note on the Huq-commutativity of normal monomorphisms

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.

preprint2022arXiv

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

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.

preprint2021arXiv

Complete objects in categories

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.

preprint2013arXiv

Normalizers and split extensions

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.

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

Building this map preview

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