https://www.ajol.info/index.php/qm/issue/feedQuaestiones Mathematicae2023-11-29T14:54:20+00:00Publishing Managerpublishing@nisc.co.zaOpen Journal Systems<p><em>Quaestiones Mathematicae</em> is devoted to research articles from a wide range of mathematical areas. Longer expository papers of exceptional quality are also considered. Published in English, the journal receives contributions from authors around the globe and serves as an important reference source for anyone interested in mathematics.</p> <p>Read more about the journal <a href="http://www.nisc.co.za/products/12/journals/quaestiones-mathematicae" target="_blank" rel="noopener">here</a>. </p>https://www.ajol.info/index.php/qm/article/view/260204Special issue dedicated to the memory of Professor Horst Herrlich guest editors’ introduction 2023-11-29T10:54:52+00:00Klaas Pieter Hartpublishing@nisc.co.zaMirek Husekpublishing@nisc.co.zaJan van Millpublishing@nisc.co.za<p>No Abstract</p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260210Horst Herrlich – a deep and enduring Contribution to South African Mathematics2023-11-29T11:12:14+00:00David Holgate dholgate@uwc.ac.za<p>No Abstract</p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260214Smallness in topology2023-11-29T11:22:46+00:00Jiri Adamek j.adamek@tu-bs.deMiroslav Husekj.adamek@tu-bs.deJiri Rosickyj.adamek@tu-bs.deWalter Tholenj.adamek@tu-bs.de<p>Quillen’s notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in categories of topological spaces, such as all finite discrete spaces, or just the empty space, as the examples and remarks in the existing literature may suggest? This article demonstrates that the establishment of full characterizations of these notions (and some natural variations thereof) in many familiar categories of spaces can be quite challenging and may lead to unexpected surprises. In fact, we show that there are significant differences in this regard even amongst the categories defined by the standard separation axioms, with the T1-separation condition standing out. The findings about these specific categories lead us to insights also when considering rather arbitrary full reflective subcategories of the category of all topological spaces. </p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260217Some concepts of topology and questions in topological algebra 2023-11-29T11:33:12+00:00A.V. Arhangela'skiiarhangel.alex@gmail.com<p>This paper has features of mixed nature. It contains new results, in particular, on semitopological groups. We also pose some problems, introduce new definitions and describe in details certain techniques we need below, providing the proofs of not so well-known theorems for the sake of completeness. Hence, this article can be treated also as a kind of a short survey. </p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260227The ℓP-metrization of functors with finite supports 2023-11-29T12:05:44+00:00Taras Banakht.o.banakh@gmail.comViktoria Brydun t.o.banakh@gmail.comLesia Karchevska t.o.banakh@gmail.comMykhailo Zarichnyi t.o.banakh@gmail.com<p>No Abstract<br><br></p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260244Lax comma categories of ordered sets2023-11-29T13:58:33+00:00Maria Manuel Clementinommc@mat.uc.ptFernando Lucatelli Nunesmmc@mat.uc.pt<p>Let Ord be the category of (pre)ordered sets. Unlike Ord{X, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category Ord//X. In this paper we show that the forgetful functor Ord//X Ñ Ord is topological if and only if X is complete. Moreover, under suitable hypothesis, Ord//X is complete and cartesian closed if and only if X is. We end by analysing descent in this category. Namely, when X is complete, we show that, for a morphism in Ord//X, being pointwise effective for descent in Ord is sufficient, while being effective for descent in Ord is necessary, to be effective for descent in Ord//X. </p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260246Supported approach spaces2023-11-29T14:07:26+00:00E. Colebundersevacoleb@vub.beR. Lowenevacoleb@vub.be<p>In this paper we work in the category of approach spaces with contractions [14], the objects of which are sets endowed with a numerical distance between sets and points. Approach spaces are to be considered a simultaneous generalization of both quasi-metric and topological spaces. Especially the fundamental notion of distance is reminiscent of the closure operator in a topological space and of the point-to-set distance in a quasi-metric space. The embedding of the category of topological spaces with continuous maps and of quasi- metric spaces with non-expansive maps is extremely nice. Every approach space has both a quasi-metric coreflection as well as a topological coreflection. Different approach spaces though can have the same topological as well as the same quasi-metric coreflection, in other words, in general these coreflections do not determine the approach space. In this paper we investigate approach spaces for which these coreflections, do determine the approach space. We will call such spaces supported. We prove that in the setting of compact approach spaces many examples of supported approach spaces can be found. Thus, compact spaces that are base-regular, which is a weakening of regularity, are always supported. An important feature of supported approach spaces is the behaviour of contractions. On a supported domain contractivity is characterized by the combination of continuity for the topological coreflection and non-expansiveness for the quasi-metric coreflection. This result implies that a supported approach space actually is the infimum of its quasi-metric and its topological coreflection. In the course of our study we also give several more examples of both supported and non-supported approach spaces.</p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260247Epimorphisms and closure operators of categories of semilattices2023-11-29T14:16:01+00:00D. Dikranjandikran.dikranjan@uniud.itA. Giordano Bruno dikran.dikranjan@uniud.itN. Zava dikran.dikranjan@uniud.it<p>Motivated by a problem posed in [10], we investigate the closure operators of the category SLatt of join semilattices and its subcategory SLatt0 of join semilattices with bottom element. In particular, we show that there are only finitely many closure operators of both categories, and provide a complete classification. We use this result to deduce the known fact that epimorphisms of SLatt and SLatt0 are surjective. We complement the paper with two different proofs of this result using either generators or Isbell’s zigzag theorem. </p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260248Topogenous orders and related families of morphisms2023-11-29T14:25:22+00:00David Holgatedholgate@uwc.ac.zaMinani Iragidholgate@uwc.ac.za<p>In a category C with a proper (E,M)-factorization system, we study the notions of strict, co-strict, initial and final morphisms with respect to a topogenous order. Besides showing that they allow simultaneous study of four classes of morphisms obtained separately with respect to closure, interior and neighbourhood operators, the initial and final morphisms lead us to the study of topogenous orders induced by pointed and co-pointed endofunctors. We also lift the topogenous orders along an M-fibration. This permits one to obtain the lifting of interior and neighbourhood operators along an M-fibration and includes the lifting of closure operators found in the literature. A number of examples presented at the end of the paper demonstrates our results.</p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260250Some properties of conjunctivity (subfitness) in generalized settings 2023-11-29T14:39:53+00:00M. Andrew Moshiermoshier@chapman.eduJorge Picado moshier@chapman.eduAles Pultr moshier@chapman.edu<p>The property of subfitness used in point-free topology (roughly speaking) to replace the slightly stronger T1-separation, appeared (as disjunctivity) already in the pioneering Wallman’s [16], then practically disappeared to reappear again (conjunctivity, subfitness), until it was in the recent decades recognized as an utmost important condition playing a very special role. Recently, it was also observed that this property (or its dual) appeared independently in general poset setting (e.g. as separativity in connection with forcing). In a recent paper [2], Delzell, Ighedo and Madden discussed it in the context of semilattices. In this article we discuss it on the background of the systems of meet-sets (subsets closed under existing infima) in posets of various generality (semilattices, lattices, distributive lattices, complete lattices) and present parallels of some localic (frame) facts, including a generalized variant of fitness. </p>2023-11-29T00:00:00+00:00Copyright (c) 2023 https://www.ajol.info/index.php/qm/article/view/260251The monoidal nature of the Feistel-Toffoli construction 2023-11-29T14:46:22+00:00Hans-E. Porstporst@uni-bremen.de<p>The Feistel-Toffoli construction of a bijective Boolean function out of an arbitrary one, a fundamental tool in reversible computing and in cryptography, has recently been analyzed (see [12]) to be a special instance of the construction of a monoid homomorphism from the X-fold cartesian power of a monoid M into the endomorphism monoid of the free M-set over the set X. It is the purpose of this note to show that this construction itself is in fact a genuine monoidal one. The generalization of the Feistel-Toffoli construction to internal categories in arbitrary finitely complete categories of [12] then becomes a special instance of this monoidal description.</p>2023-11-29T00:00:00+00:00Copyright (c) 2023