Showing 1–16 of 16 results for author: Janelidze, G

Effective descent morphisms of filtered preorders

Authors: Maria Manuel Clementino, George Janelidze

Abstract: We characterize effective descent morphisms of what we call filtered preorders, and apply these results to slightly improve a known result, due to the first author and F. Lucatelli Nunes, on the effective descent morphisms in lax comma categories of preorders. A filtered preorder, over a fixed preorder $X$, is defined as a preorder $A$ equipped with a profunctor $X\to A$ and, equivalently, as a se… ▽ More We characterize effective descent morphisms of what we call filtered preorders, and apply these results to slightly improve a known result, due to the first author and F. Lucatelli Nunes, on the effective descent morphisms in lax comma categories of preorders. A filtered preorder, over a fixed preorder $X$, is defined as a preorder $A$ equipped with a profunctor $X\to A$ and, equivalently, as a set $A$ equipped with a family $(A_x)_{x\in X}$ of upclosed subsets of $A$ with $x'\leqslant x\Rightarrow A_x\subseteq A_{x'}$. △ Less

Submitted 21 December, 2023; originally announced December 2023.

MSC Class: 18C15; 18A20; 18A25; 18B35; 18E50

Strict monadic topology II: descent for closure spaces

Authors: George Janelidze, Manuela Sobral

Abstract: By a closure space we will mean a pair $(A,\mathcal{C})$, in which $A$ is a set and $\mathcal{C}$ a set of subsets of $A$ closed under arbitrary intersections. The purpose of this paper is to initiate a development of descent theory of closure spaces, with our main results being: (a) characterization of descent morphisms of closure spaces; (b) in the category of finite closure spaces every descent… ▽ More By a closure space we will mean a pair $(A,\mathcal{C})$, in which $A$ is a set and $\mathcal{C}$ a set of subsets of $A$ closed under arbitrary intersections. The purpose of this paper is to initiate a development of descent theory of closure spaces, with our main results being: (a) characterization of descent morphisms of closure spaces; (b) in the category of finite closure spaces every descent morphism is an effective descent morphism; (c) every surjective closed map and every surjective open map of closure spaces is an effective descent morphism. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 13 pages

MSC Class: 54A05; 18C15; 18A20; 54C10

Ideally exact categories

Authors: George Janelidze

Abstract: The purpose of this paper is to initiate a development of a new non-pointed counterpart of semi-abelian categorical algebra. We are making, however, only the first step in it by giving equivalent definitions of what we call ideally exact categories, and showing that these categories admit a description of quotient objects by means of intrinsically defined ideals, in spite of being non-pointed. As… ▽ More The purpose of this paper is to initiate a development of a new non-pointed counterpart of semi-abelian categorical algebra. We are making, however, only the first step in it by giving equivalent definitions of what we call ideally exact categories, and showing that these categories admit a description of quotient objects by means of intrinsically defined ideals, in spite of being non-pointed. As a tool we involve a new notion of essentially nullary monad, and show that Bourn protomodularity condition makes cartesian monads essentially nullary. All semi-abelian categories, all non-trivial Bourn protomodular varieties of universal algebras, and all cotoposes are ideally exact. △ Less

Submitted 17 August, 2023; v1 submitted 12 August, 2023; originally announced August 2023.

MSC Class: 18E13; 18C15; 18E08; 08B99

A note on idempotent semirings

Authors: George Janelidze, Manuela Sobral

Abstract: For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty colimits. The (known) closedness of the category of Boolean rings and of the category of distributive lattices under non-empty colimits in the category of commutativ… ▽ More For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty colimits. The (known) closedness of the category of Boolean rings and of the category of distributive lattices under non-empty colimits in the category of commutative semirings both follow from this general statement. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 4 pages

MSC Class: 16Y60; 18A30; 18A40; 06E20; 06E75; 06D75

Central extensions of associative algebras and weakly action representable categories

Authors: George Janelidze

Abstract: A central extension is a regular epimorphism in a Barr exact category $\mathscr{C}$ satisfying suitable conditions involving a given Birkhoff subcategory of $\mathscr{C}$ (joint work with G. M. Kelly, 1994). In this paper we take $\mathscr{C}$ to be the category of (not-necessarily-unital) algebras over a (unital) commutative ring and consider central extensions with respect to the category of com… ▽ More A central extension is a regular epimorphism in a Barr exact category $\mathscr{C}$ satisfying suitable conditions involving a given Birkhoff subcategory of $\mathscr{C}$ (joint work with G. M. Kelly, 1994). In this paper we take $\mathscr{C}$ to be the category of (not-necessarily-unital) algebras over a (unital) commutative ring and consider central extensions with respect to the category of commutative algebras. We propose a new approach that avoids the intermediate notion of central extension due to A. Fröhlich in showing that $α:A\to B$ is a central extension if and only if $aa'=a'a$ for all $a,a'\in A$ with $α(a')=0$. This approach motivates introducing what we call $\textit{weakly action representable categories}$, and we show that such categories are always action accessible. We also make remarks on what we call $\textit{initial weak representations of actions}$ and formulate several open questions. △ Less

Submitted 2 July, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Abstractly constructed prime spectra

Authors: Alberto Facchini, Carmelo Antonio Finocchiaro, George Janelidze

Abstract: The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral (=coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of $R$ is played by elements of an abstract comple… ▽ More The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral (=coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of $R$ is played by elements of an abstract complete lattice $L$ equipped with binary multiplication with $xy\leqslant x\wedge y$ for all $x,y\in L$. In fact when no further conditions on $L$ are required, the resulting space can be and is only shown to be sober, and we discuss further conditions sufficient to make it spectral. This discussion involves establishing various comparison theorems on so-called prime, radical, solvable, and locally solvable elements of $L$; we also make short additional remarks on semiprime elements. We consider categorical and universal-algebraic applications involving general theory of commutators, and an application to ideals in what we call the commutative world. The cases of groups and of non-commutative rings are briefly considered separately. △ Less

Submitted 30 November, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

MSC Class: 06F99; 13A15; 14A05; 06D05; 16Y60; 20M12; 16D25; 18E13; 06D22; 54D30; 08A30; 08B99; 08B10; 16Y30

Unusual spectral categories

Authors: María José Arroyo Paniagua, Alberto Facchini, Marino Gran, George Janelidze

Abstract: The paper is devoted to a kind of `very non-abelian' spectral categories. Under strong conditions on a category $\mathcal{X}$, we prove, among other things, that, for a given faithful localization $\mathcal{C}\to\mathcal{X}$, we have canonical equivalences $\mathrm{Spec}(\mathcal{C})\sim\mathcal{X}\sim(\mathrm{Category\,\,of\,\,injective\,\,objects\,\,in}\,\, \mathcal{C})$, and that $\mathcal{C}$… ▽ More The paper is devoted to a kind of `very non-abelian' spectral categories. Under strong conditions on a category $\mathcal{X}$, we prove, among other things, that, for a given faithful localization $\mathcal{C}\to\mathcal{X}$, we have canonical equivalences $\mathrm{Spec}(\mathcal{C})\sim\mathcal{X}\sim(\mathrm{Category\,\,of\,\,injective\,\,objects\,\,in}\,\, \mathcal{C})$, and that $\mathcal{C}$ has natural injective envelopes. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: 10 pages

MSC Class: 18A20; 18A40; 18B30; 18G05

Journal ref: Rendiconti del Seminario Matematico dell'Università di Padova, Vol.144, 2020, 13-25

Open covers, locally sectionable maps, sets of base points, and van Kampen's theorem

Authors: Ronald Brown, George Janelidze, George Peschke

Abstract: We generalize the van Kampen theorem for unions of non-connected spaces, due to R. Brown and A. R. Salleh, to the context where families of subspaces of a space B are replaced by a locally sectionable map to B. We generalize the van Kampen theorem for unions of non-connected spaces, due to R. Brown and A. R. Salleh, to the context where families of subspaces of a space B are replaced by a locally sectionable map to B. △ Less

Submitted 8 November, 2020; v1 submitted 25 October, 2019; originally announced October 2019.

Comments: version 3, expanded proof, 16 pages

MSC Class: 55Q59.57M05; 20F34

Split extensions and semidirect products of unitary magmas

Authors: Marino Gran, George Janelidze, Manuela Sobral

Abstract: We develop a theory of split extensions of unitary magmas, which includes defining such extensions and describing them via suitably defined semidirect product, yielding an equivalence between the categories of split extensions and of (suitably defined) actions of unitary magmas on unitary magmas. The class of split extensions is pullback stable but not closed under composition. We introduce two su… ▽ More We develop a theory of split extensions of unitary magmas, which includes defining such extensions and describing them via suitably defined semidirect product, yielding an equivalence between the categories of split extensions and of (suitably defined) actions of unitary magmas on unitary magmas. The class of split extensions is pullback stable but not closed under composition. We introduce two subclasses of it that have both of these properties. △ Less

Submitted 27 August, 2019; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: 15 pages

MSC Class: 20N02; 08C05; 18G50

Journal ref: Comment. Math. Univ. Carolin. 60, 4 (2019) 509-527

What is the spectral category?

Authors: María José Arroyo Paniagua, Alberto Facchini, Marino Gran, George Janelidze

Abstract: For a category $\mathcal{C}$ with finite limits and a class $\mathcal{S}$ of monomorphisms in $\mathcal{C}$ that is pullback stable, contains all isomorphisms, is closed under composition, and has the strong left cancellation property, we use pullback stable $\mathcal{S}$-essential monomorphisms in $\mathcal{C}$ to construct a spectral category $\mathrm{Spec}(\mathcal{C},\mathcal{S})$. We show tha… ▽ More For a category $\mathcal{C}$ with finite limits and a class $\mathcal{S}$ of monomorphisms in $\mathcal{C}$ that is pullback stable, contains all isomorphisms, is closed under composition, and has the strong left cancellation property, we use pullback stable $\mathcal{S}$-essential monomorphisms in $\mathcal{C}$ to construct a spectral category $\mathrm{Spec}(\mathcal{C},\mathcal{S})$. We show that it has finite limits and that the canonical functor $\mathcal{C}\to \mathrm{Spec}(\mathcal{C},\mathcal{S})$ preserves finite limits. When $\mathcal{C}$ is a normal category, assuming for simplicity that $\mathcal{S}$ is the class of all monomorphisms in $\mathcal{C}$, we show that pullback stable $\mathcal{S}$-essential monomorphisms are the same as what we call subobject-essential monomorphisms. △ Less

Submitted 24 September, 2019; v1 submitted 24 March, 2019; originally announced March 2019.

Comments: 14 pages, the introduction has been changed

MSC Class: 18E15; 16D40; 16D50; 18A20; 18D90

Journal ref: In: Facchini A., Fontana M., Geroldinger A., Olberding B. (eds) Advances in Rings, Modules and Factorizations. Rings and Factorizations 2018. Springer Proceedings in Mathematics & Statistics, vol 321. Springer (2020) 135-152

Real sets

Authors: George Janelidze, Ross Street

Abstract: After reviewing a universal characterization of the extended positive real numbers published by Denis Higgs in 1978, we define a category which provides an answer to the questions: \begin{itemize} \item what is a set with half an element? \item what is a set with $π$ elements? \end{itemize} The category of these extended positive real sets is equipped with a countable tensor product. We develop so… ▽ More After reviewing a universal characterization of the extended positive real numbers published by Denis Higgs in 1978, we define a category which provides an answer to the questions: \begin{itemize} \item what is a set with half an element? \item what is a set with $π$ elements? \end{itemize} The category of these extended positive real sets is equipped with a countable tensor product. We develop somewhat the theory of categories with countable tensors; we call the commutative such categories {\em series monoidal} and conclude by only briefly mentioning the non-commutative possibility called {\em $ω$-monoidal}. We include some remarks on sets having cardinalities in $[-\infty,\infty]$. △ Less

Submitted 15 January, 2018; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: This version points out erroneous examples in the published version. The examples are not necessary for the main thrust of the work

MSC Class: 18D10; 18D05; 18D20

Journal ref: Tbilisi Mathematical Journal 10(3) (2017) 23--49

Some remarks on protolocalizations and protoadditive reflections

Authors: Maria Manuel Clementino, Marino Gran, George Janelidze

Abstract: We investigate additional properties of protolocalizations, introduced and studied by F. Borceux, M. M. Clementino, M. Gran, and L. Sousa, and of protoadditive reflections, introduced and studied by T. Everaert and M. Gran. Among other things we show that there are no non-trivial (protolocalizations and) protoadditive reflections of the category of groups, and establish a connection between protol… ▽ More We investigate additional properties of protolocalizations, introduced and studied by F. Borceux, M. M. Clementino, M. Gran, and L. Sousa, and of protoadditive reflections, introduced and studied by T. Everaert and M. Gran. Among other things we show that there are no non-trivial (protolocalizations and) protoadditive reflections of the category of groups, and establish a connection between protolocalizations and Kurosh--Amitsur radicals of groups with multiple operators whose semisimple classes form subvarieties. △ Less

Submitted 16 February, 2021; v1 submitted 28 February, 2017; originally announced February 2017.

Comments: 12 pages

MSC Class: 18E40; 18A40; 18C05; 16N80; 08B99

Journal ref: Journal of Algebra and its Applications, Vol. 17 (11) 1850207 (2018)

Weighted commutators in semi-abelian categories

Authors: Marino Gran, George Janelidze, Aldo Ursini

Abstract: We introduce new notions of weighted centrality and weighted commutators corresponding to each other in the same way as centrality of congruences and commutators do in the Smith commutator theory. Both the Huq commutator of subobjects and Pedicchio's categorical generalization of Smith commutator are special cases of our weighted commutators; in fact we obtain them by taking the smallest and the l… ▽ More We introduce new notions of weighted centrality and weighted commutators corresponding to each other in the same way as centrality of congruences and commutators do in the Smith commutator theory. Both the Huq commutator of subobjects and Pedicchio's categorical generalization of Smith commutator are special cases of our weighted commutators; in fact we obtain them by taking the smallest and the largest weight respectively. At the end of the paper we briefly consider the universal-algebraic context in connection with an older work of the third author on the ideal theory version of the commutator theory. △ Less

Submitted 15 October, 2015; originally announced October 2015.

Comments: 24 pages

MSC Class: 18C05; 18E10; 08A30

Journal ref: Journal of Algebra, 397, 643-665, 2014

Monadic approach to Galois descent and cohomology

Authors: F. Borceux, S. Caenepeel, G. Janelidze

Abstract: We describe a simplified categorical approach to Galois descent theory. It is well known that Galois descent is a special case of Grothendieck descent, and that under mild additional conditions the category of Grothendieck descent data coincides with the Eilenberg-Moore category of algebras over a suitable monad. This also suggests using monads directly, and our monadic approach to Galois descen… ▽ More We describe a simplified categorical approach to Galois descent theory. It is well known that Galois descent is a special case of Grothendieck descent, and that under mild additional conditions the category of Grothendieck descent data coincides with the Eilenberg-Moore category of algebras over a suitable monad. This also suggests using monads directly, and our monadic approach to Galois descent makes no reference to Grothendieck descent theory at all. In order to make Galois descent constructions perfectly clear, we also describe their connections with some other related constructions of categorical algebra, and make various explicit calculations, especially with 1-cocycles and 1-dimensional non-abelian cohomology, usually omitted in the literature. △ Less

Submitted 9 December, 2008; originally announced December 2008.

Comments: 25 pages

MSC Class: 18C15; 18D10

On satellites in arbitrary categories

Authors: George Janelidze

Abstract: We generalize the definition of satellites with respect to presheaves (and copresheaves) with trace in the sense of Inassaridze; a presheaf with trace is replaced by a graph with a pair of diagrams defined on it. We show that the right satellite functor is left adjoint to the left satellite functor, and that a functor having a right (left) adjoint preserves right (left) satellites. In partic… ▽ More We generalize the definition of satellites with respect to presheaves (and copresheaves) with trace in the sense of Inassaridze; a presheaf with trace is replaced by a graph with a pair of diagrams defined on it. We show that the right satellite functor is left adjoint to the left satellite functor, and that a functor having a right (left) adjoint preserves right (left) satellites. In particular cases the construction of satellites is given. △ Less

Submitted 9 September, 2008; originally announced September 2008.

Comments: 3 + 1 pages; translated by Jone Intxaurraga Larranaga and Tim Van der Linden with the help of Alexander Frolkin and Julia Goedecke; with author's remarks

MSC Class: 18E25; 18G10

Journal ref: G. Z. Janelidze, On satellites in arbitrary categories, Bull. Georgian Acad. Sci. 82 (1976), no. 3, 529-532, in Russian

Galois theory and a new homotopy double groupoid of a map of spaces

Authors: R. Brown, G. Janelidze

Abstract: The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new homotopy double groupoid of a map of spaces, which includes constructions by others of a 2-groupoid, cat^1-group or crossed module. An advantage of our construction is that the double groupoid can give an algebraic model o… ▽ More The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new homotopy double groupoid of a map of spaces, which includes constructions by others of a 2-groupoid, cat^1-group or crossed module. An advantage of our construction is that the double groupoid can give an algebraic model of a foliated bundle. △ Less

Submitted 27 August, 2002; originally announced August 2002.

Comments: 16 A4 pages, xypic

Report number: UWB Math Preprint 02.18 MSC Class: 18D05; 20L05; 55 Q05; 55Q35