CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS
Year:2017 | Volume:7 | Issue:SUPP.|Papers Count:12

Professor Bernhard Banaschewski was born in Munich on 22nd March 1926. He studied at the University of Hamburg until 1953, receiving his doctorate in Mathematics under Ernst Witt. The political situation in Hitler era made him to move to McMaster University in Hamilton, Ontario, Canada, in 1955. There he made rapid progress and was awarded the prestigious McKay Professorship of Mathematics in 1964.

This interview, a co-operative effort of Bernhard Banaschewski and Christopher Gilmour, took place over a few days in December, 2016. It was finalised over coffee and a shared slice of excellent cheesecake atThe Botanical Tea Garden, a small, home situated, tea garden in Little Mowbray, Cape Town.

The tangled closure of a collection of subsets of a topological space is the largest subset in which each member of the collection is dense.This operation models a logical ‘tangle modality’ connective, of significance in finite model theory. Here we study an abstract equational algebraic formulation of the operation which generalises the McKinsey-Tarski theory of closure algebras. We show that any dissectable tangled closure algebra, such as the algebra of subsets of any metric space without isolated points, contains copies of every finite tangled closure algebra. We then exhibit an example of a tangled closure algebra that cannot be embedded into any complete tangled closure algebra, so it has no MacNeille completion and no spatial representation.

Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce some types of filters such as (positive) implicative, fantastic, Boolean, and prime filters in equality algebras and we prove some results which determine the relation between these filters. We prove that the quotient equality algebra induced by an implicative filter is a Boolean algebra, by a fantastic filter is a commutative equality algebra, and by a prime filter is a chain, under suitable conditions. Finally, we show that positive implicative, implicative, and Boolean filters are equivalent on bounded commutative equality algebras.

Locally compact Hausdorff spaces and their one-point compactifications are much used in topology and analysis; in lattice and domain theory, the notion of continuity captures the idea of local compactness. Our work is located in the setting of pointfree topology, where lattice-theoretic methods can be used to obtain topological results. Specifically, we examine here the concept of continuity for partial frames, and compactifications of regular continuous such.Partial frames are meet-semilattices in which not all subsets need have joins. A distinguishing feature of their study is that a small collection of axioms of an elementary nature allows one to do much that is traditional for frames or locales. The axioms are sufficiently general to include as examples s-frames, k-frames and frames.In this paper, we present the notion of a continuous partial frame by means of a suitable “way-below” relation; in the regular case this relation can be characterized using separating elements, thus avoiding any use of pseudocomplements (which need not exist in a partial frame). Our first main result is an explicit construction of a one-point compactification for a regular continuous partial frame using generators and relations. We use strong inclusions to link continuity and one-point compactifications to least compactifications.As an application, we show that a one-point compactification of a zero-dimensional continuous partial frame is again zero-dimensional.We next consider arbitrary compactifications of regular continuous partial frames. In full frames, the natural tools to use are right and left adjoints of frame maps; in partial frames these are, in general, not available. This necessitates significantly different techniques to obtain largest and smallest elements of fibres (which we call balloons); these elements are then used to investigate the structure of the compactifications. We note that strongly regular ideals play an important role here. The paper concludes with a proof of the uniqueness of the one-point compactification.

In this paper, we consider the forgetful functor from the category LDcpoof local dcpos (respectively, Dcpo of dcpos) to the category Pos of posets (respectively, LDcpo of local dcpos), and study the existence of its left and right adjoints. Moreover, we give the concrete forms of free and cofreeS-ldcpos over a local dcpo, where S is a local dcpo monoid. The main results are: (1) The forgetful functorU: LDcpo ®Pos has a left adjoint, but does not have a right adjoint; (2) The inclusion functorI: Dcpo®LDcpohas a left adjoint, but does not have a right adjoint; (3) The forgetful functorU: LDcpo-S ®LDcpo has both left and right adjoints; (4) If (S, 0, 1) is a good ldcpo-monoid, then the forgetful functor U: LDcpo-S ®Pos-S has a left adjoint.

In this article we investigate filters of cozero sets for real-valued continuous functions, calledcoz-filters. Much is known for z-ultrafilters and their correspondence with maximal ideals of C (X). Similarly, a correspondence will be established betweencoz-ultrafilters and minimal prime ideals of C (X). We will further notice various properties of coz-ultrafilters in relation toP-spaces and F-spaces. In the last two sections, the collection of cozultrafilters will be topologized, and then compared to the hull-kernel and the inverse topologies placed on the collection of minimal prime ideals of C (X) and general lattice-ordered groups.

Let G= (V, E) be a graph. A subset S of V is a dominating set of G if every vertex in V \ S is adjacent to a vertex in S. A dominating set S is called a secure dominating set if for each v  Î V \ S there exists u 2 S such that v is adjacent to u and S1= (S \ {u})  È {v} is a dominating set. If further the vertex u Î S is unique, then S is called a perfect secure dominating set.The minimum cardinality of a perfect secure dominating set of G is called the perfect secure domination number of G and is denoted by gps (G). In this paper we initiate a study of this parameter and present several basic results.

In this paper, for eachlattice-valued map A®L with some properties, a ring representation A®RL is constructed. This representation is denoted byc which is an f-ring homomorphism and a Q-linear map, where its indexc, mentions to a lattice-valued map. We use the notation a dpqa= (a − p)+^ (q − a)+, where p, q Î Q and a Î A, that is nominated asinterval projection. To get a well-defined f-ring homomorphism tc, we need such concepts asbounded, continuous, and Q-compatible for c, which are defined and some related results are investigated. On the contrary, we present a cozero lattice-valued map c f: A®L for each f-ring homomorphism f: A®RL. It is proved that crc=cr and tcf=f, which they make a kind of correspondence relation between ring representations A®RL and the lattice-valued maps A®L, where the mapping cr: A®L is called a realizationof c. It is shown that tcr=tc and crr=cr.

The much-studied projectable hull of an l-group G£pG is an essential extension, so that, in the case thatG is archimedean with weak unit, “G ÎW”, we have for the Yosida representation spaces a “covering map” Y G ¬Y pG. We have earlier [8] shown that (1) this cover has a characteristic minimality property, and that (2) knowingY pG, one can write downpG. We now show directly that for A, the boolean algebra in the power set of the minimal prime spectrum Min (G), generated by the sets U(g) = {P Î Min (G): g  Ï P} (g ÎG), the Stone space SA is a cover of Y Gwith the minimal property of (1); this extends the result from [1] for the strong unit case. Then, applying (2) gives the pre-existing description ofpG, which includes the strong unit description of [1]. The present methods are largely topological, involving details of covering maps and Stone duality.