arXiv subjects

Zurab Janelidze

Publications and source records attributed to Zurab Janelidze.

26 records · Page 2Linked to original sources

arXiv2022

The matrix taxonomy of finitely complete categories

This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the paper gives an algorithm for deciding whether a conjunction of such properties implies another such property. Computer implementation of this algorithm allows one to peer into the complex structure of the poset of `matrix classes', i.e., the poset of all collections of finitely complete categories determined by matrix properties. Among elements of this poset are the collections of Mal'tsev categories, majority categories, (finitely complete) arithmetical categories, as well as finitely complete extensions of various classes of varieties defined by a special type of Mal'tsev conditions found in the literature.

math.CT↗

arXiv2020

On stability of exactness properties under the pro-completion

In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to exactness properties proposed in this paper, which is based on the theory of sketches. Our stability theorem has applications in proving theorems that establish links between exactness properties, as well as in establishing embedding (representation) theorems for classes of categories defined by exactness properties.

math.CT↗

arXiv2020

Combinatorics arising from lax colimits of posets

In this paper we study maximal chains in certain lattices constructed from powers of chains by iterated lax colimits in the $2$-category of posets. Such a study is motivated by the fact that in lower dimensions, we get some familiar combinatorial objects such as Dyck paths and Kreweras walks.

math.CO↗

arXiv2020

A Dedekind-style axiomatization and the corresponding universal property of an ordinal number system

In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind's axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set $N$, a distinguished element $0\in N$ and a function $s\colon N\to N$. The structure in our axiomatization is a triple $(O,L,s)$, where $O$ is a class, $L$ is a function defined on all $s$-closed `subsets' of $O$, and $s$ is a class function $s\colon O\to O$. In fact, we develop the theory relative to a Grothendieck-style universe (minus the power-set axiom), as a way of bringing the natural and the ordinal cases under one framework. We also establish a universal property for the ordinal number system, analogous to the well-known universal property for the natural number system.

math.LO↗

arXiv2018

Duality in non-abelian algebra IV. Duality for groups and a universal isomorphism theorem

Abelian categories provide a self-dual axiomatic context for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for abelian groups, and more generally, modules. In this paper we describe a self-dual context which allows one to establish the same theorems in the case of non-abelian group-like structures; the question of whether such a context can be found has been left open for seventy years. We also formulate and prove in our context a universal isomorphism theorem from which all other isomorphism theorems can be deduced.

math.CT↗

arXiv2017

Epireflective subcategories and formal closure operators

On a category $\mathscr{C}$ with a designated (well-behaved) class $\mathcal{M}$ of monomorphisms, a closure operator in the sense of D. Dikranjan and E. Giuli is a pointed endofunctor of $\mathcal{M}$, seen as a full subcategory of the arrow-category $\mathscr{C}^\mathbf{2}$ whose objects are morphisms from the class $\mathcal{M}$, which "commutes" with the codomain functor $\mathsf{cod}\colon \mathcal{M}\to \mathscr{C}$. In other words, a closure operator consists of a functor $C\colon \mathcal{M}\to\mathcal{M}$ and a natural transformation $c\colon 1_\mathcal{M}\to C$ such that $\mathsf{cod} \cdot C=C$ and $\mathsf{cod}\cdot c=1_\mathsf{cod}$. In this paper we adapt this notion to the domain functor $\mathsf{dom}\colon \mathcal{E}\to\mathscr{C}$, where $\mathcal{E}$ is a class of epimorphisms in $\mathscr{C}$, and show that such closure operators can be used to classify $\mathcal{E}$-epireflective subcategories of $\mathscr{C}$, provided $\mathcal{E}$ is closed under composition and contains isomorphisms. Specializing to the case when $\mathcal{E}$ is the class of regular epimorphisms in a regular category, we obtain known characterizations of regular-epireflective subcategories of general and various special types of regular categories, appearing in the works of the second author and his coauthors. These results show the interest in investigating further the notion of a closure operator relative to a general functor. They also point out new links between epireflective subcategories arising in algebra, the theory of fibrations, and the theory of categorical closure operators.

math.CT↗

arXiv2013

Star-regularity and regular completions

In this paper we establish a new characterisation of star-regular categories, using a property of internal reflexive graphs, which is suggested by a recent result due to O. Ngaha Ngaha and the first author. We show that this property is, in a suitable sense, invariant under regular completion of a category in the sense of A. Carboni and E. M. Vitale. Restricting to pointed categories, where star-regularity becomes normality in the sense of the second author, this reveals an unusual behaviour of the exactness property of normality (i.e. the property that regular epimorphisms are normal epimorphisms) compared to other closely related exactness properties studied in categorical algebra.

math.CT↗

arXiv2006

Closedness properties of internal relations IV: Expressing additivity of a category via subtractivity

The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose theory contains a unique constant, is abelian (i.e. $\C$ is the variety of modules over a fixed ring), if and only if the dual category $\C^\mathrm{op}$ of $\C$, is subtractive. More generally, we show that $\C$ is additive if and only if both $\C$ and $\C^\mathrm{op}$ are subtractive, where $\C$ is an arbitrary finitely complete pointed category, with binary sums, and such that each morphism $f$ in $\C$ can be presented as a composite $f=me$, where $m$ is a monomorphism and $e$ is an epimorphism.

math.CT↗