Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

A note onR 1-topological spaces

The purpose of the present note is to give a number of characterizations of theR ₁-axiom and to show that theR ₁-axiom is equivalent to the weakly Hausdorff axiom introduced byB. Banaschewski andJ. M. Maranda [2]. In anR ₁-space it is shown that the locally compactness property is also open hereditary and that the closure of an almost compact set is the union of the closures of its points. A necessary and sufficient condition is obtained under which a locally compact set dense in anR ₁-space is open. Finally a variant of a well-known theorem regarding two continuous functions of a topological space into aT ₂-space is formulated forR ₁-spaces.     

Formal plethories

Unstable operations in a generalized cohomology theory E   give rise to a functor from the category of algebras over _E?$E_{?}$ to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this paper I set up a framework for studying the algebra of such functors, which I call formal plethories, in the case where _E?$E_{?}$ is a Prüfer ring. I show that the “logarithmic” functors of primitives and indecomposables give linear approximations of formal plethories by bimonoids in the 2-monoidal category of bimodules over a ring.     

ON CERTAIN FACTORIZATIONS OF FUNCTORS INTO THE CATEGORY OF QUASI-UNIFORM SPACES

This paper is motivated by the search for natural extensions of classical uniform space results to quasi-uniform spaces. As instances of such extensions we restate some theorems of P. Fletcher and W.F. Lindgren [Pacific J. Math. 43 (1971), 619–6311 on transitive quasi-uniformities and of S. Salbany [Thesis, Univ. Cape Town, 1971] on compactification and completion. The theorems as restated describe properties of certain right inverses of the functor which forgets the quasi-uniform structure and retains one induced topology (for Fletcher and Lindgren's work), respectively retains both induced topologies (for Salbany's work). Accordingly we investigate systematically the process by which the right inverses of the forgetful functors can be extended from the classical setting to one of these settings, and from one of these to the other.     

Quotient-reflective and bireflective subcategories of the category of preordered sets

In previous papers, the notions of “closedness” and “strong closedness” in set-based topological categories were introduced. In this paper, we give the characterization of closed and strongly closed subobjects of an object in the category Prord of preordered sets and show that they form appropriate closure operators which enjoy the basic properties like idempotency (weak) hereditariness, and productivity.We investigate the relationships between these closure operators and the well-known ones, the up- and down-closures. As a consequence, we characterize each of T₀, T₁, and T₂ preordered sets and show that each of the full subcategories of each of T₀, T₁, T₂ preordered sets is quotient-reflective in Prord. Furthermore, we give the characterization of each of pre-Hausdorff preordered sets and zero-dimensional preordered sets, and show that there is an isomorphism of the full subcategory of zero-dimensional preordered sets and the full subcategory of pre-Hausdorff preordered sets. Finally, we show that both of these subcategories are bireflective in Prord.     

A NOTE ON REGULAR AND EXTREYAL SUBOBJECTS

ABSTRACT

In the general setting of a complete, well-powered category A, we define and study two universal closure operations: regularization and extremalization, by means of regular and extremal subobjects of A. respectively. A general theorem of characterization of epimorphisms in A is given. When A is an epireflective subcategory of TOP, such operations are shown to coincide with A-closure [11] and epiclosure [2]. respectively. In the topological contest, regularization and extremalization are studied in detail and compared with r-closure, defined in [13].     

The box dimension of completely invariant subsets for expanding piecewise monotonic transformations

We consider completely invariant subsetsA of expanding piecewise monotonic transformationsT on [0, 1]. An estimate of the box dimension of such setsA in terms of a certain pressure function is given, which implies equality of box dimension and Hausdorff dimension ofA.     

Some new characterizations of pointfree pseudocompactness

Abstract

By [3], a frame L is pseudocompact iff every ??-sequence in L joining to the top terminates. Here it is shown, for any completely regular L, that pseudocompactness is also equivalent to (i) the analogous condition for ?-sequences, (ii) the countable almost compactness of L, (iii) the almost compactness of CozL as a σ-frame and (iv) the condition that every countably based proper filter in L clusters. Further we establish the zero-dimensional counterparts of the above, concerning the integer valued notion of pseudocompactness. Finally, we add to this a characterization of pseudocompactness in terms of uniformities.     

A note on D-spaces

We show that every regular T₁ submeta-Lindelöf space of cardinality ω₁ is D under MA+¬CH, which answers a question posed by Gruenhage (2011) [9]. Borges (1991) [5] asked if every monotonically normal paracompact space is a D-space, we give a characterization of paracompactness for monotonically normal spaces, which may be of some use in solving this problem.     

Initial morphisms and monomorphisms

Initial cones are shown to be mono-cones for several important types of functors, namely those possessing a reducible generator or having a certain topological (1.7) resp. algebraic property (1.8). These results are useful for the computation of the universal initial completion of faithful, topologically algebraic functors, contain results of Börger-Tholen and Hoffmann for certain setbased functors as special cases and allow a complete characterization of the initial cones in quite a few categories.     

On cardinality bounds involving the weak Lindelöf degree

We give a general closing-off argument in Theorem 2.3 from which several corollaries follow, including (1) if X is a locally compact Hausdorff space then |X| ≤ 2^wL(X)ψ(X), and (2) if X is a locally compact power homogeneous Hausdorff space then |X| ≤ 2^wL(X)t(X). The first extends the well-known cardinality bound 2^ψ(X) for a compactum X in a new direction. As |X| ≤ 2^wL(X)χ(X) for a normal spaceX[4], this enlarges the class of known Tychonoff spaces for which this bound holds. In 2.12 we give a short, direct proof of (1) that does not use 2.3. Yet 2.3 is broad enough to establish results much more general than (1), such as if X is a regular space with a π-base ? such that |B| ≤ 2^wL(X)χ(X) for all B ∈ ?, then |X| ≤ 2^wL(X)χ(X).

Separately, it is shown that if X is a regular space with a π-base whose elements have compact closure, then |X| ≤ 2^{wL(X)ψ(X)t(X)}. This partially answers a question from [4] and gives a third, separate proof of (1). We also show that if X is a weakly Lindelöf, normal, sequential space with χ(X) ≤ 2^?0, then |X| ≤ 2^?0.

Result (2) above is a new generalization of the cardinality bound 2^t(X) for a power homogeneous compactum X (Arhangel'skii, van Mill, and Ridderbos [3], De la Vega in the homogeneous case [10]). To this end we show that if U ? clD ? X, where X is power homogeneous and U is open, then |U| ≤ |D|^πχ(X). This is a strengthening of a result of Ridderbos [19].     

Asymmetry and bicompletion of approach spaces

We develop a bicompletion theory for the category Ap₀ of T₀ approach spaces in the sense of Lowen [R. Lowen, Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad, Oxford University Press, Oxford, 1997], which extends the completion theory obtained in [R. Lowen, K. Robeys., Completions of products of metric spaces, Quart. J. Math. Oxford 43 (1991) 319-338] for the subcategory of Hausdorff uniform approach spaces. Moreover, we prove it to be firmly epireflective (in the sense of [G.C.L. Brümmer, E. Giuli, A categorical concept of completion of objects, Comment. Math. Univ. Carolin. 33 (1992) 131-147]) with respect to a certain morphism class of dense embeddings.     

Insertion of lattice-valued and hedgehog-valued functions

Problems of inserting lattice-valued functions are investigated. We provide an analogue of the classical insertion theorem of Lane [Proc. Amer. Math. Soc. 49 (1975) 90-94] for L-valued functions where L is a ?-separable completely distributive lattice (i.e. L admits a countable join-dense subset which is free of completely join-irreducible elements). As a corollary we get an L-version of the Katětov-Tong insertion theorem due to Liu and Luo [Topology Appl. 45 (1992) 173-188] (our proof is different and much simpler). We show that ?-separable completely distributive lattices are closed under the formation of countable products. In particular, the Hilbert cube is a ?-separable completely distributive lattice and some join-dense subset is shown to be both order and topologically isomorphic to the hedgehog J(ω) with appropriately defined topology. This done, we deduce an insertion theorem for J(ω)-valued functions which is independent of that of Blair and Swardson [Indian J. Math. 29 (1987) 229-250]. Also, we provide an iff criterion for inserting a pair of semicontinuous function which yields, among others, a characterization of hereditarily normal spaces.     

Some localized separation axioms and their implications

In a topological spaceX, a T₂-distinct pointx means that for anyyX xy, there exist disjoint open neighbourhoods ofx andy. Similarly, T₀-distinct points and T₁distinct points are defined. In a T_i-distinct point-setA, we assume that eachxA is a T _i -distinct point (i=0, 1, 2). In the present paper some implications of these notions which localize the T _i -separation axioms (i=0, 1, 2) requirement, are studied. Suitable variants of regularity and normality in terms of T₂-distinct points are shown hold in a paracompact space (without the assumption of any separation axioms). Later T₀-distinct points are used to give two characterizations of the R _D -axiom.¹ In the end, some simple results are presented including a condition under which an almost compact set is closed and a result regarding two continuous functions from a topological space into a Hausdorff space is sharpened. A result which relates a limit pointv to an -limit point is stated.     

Measurable Categories

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a rigorous construction for the bicategory used in [3] and [4] as the basis for a representation theory of (Lie) 2-groups. Two important technical results are established along the way: first it is shown that all invertible additive bounded functors (and thus a fortiori all invertible *-functors) between categories of measurable fields of Hilbert spaces are induced by invertible measurable transformations between the underlying Borel spaces and second we establish the distributivity of Hilbert space tensor product over direct integrals over Lusin spaces with respect to σ-finite measures. The paper concludes with a general definition of measurable bicategories.     

Quasi-coproducts and accessible categories with wide pullbacks

We establish a 2-categorical duality involving the 2-category A of all -accessible categories with wide pullbacks, also known as locally -polypresentable categories, and of functors preserving -filtered colimits and wide pullbacks. Commutation of wide pullbacks with so-called quasi-coproducts in Set is the basic ingredient to this duality, which leads to a full characterization of categories of type Wdpb Filt (A, Set)=A The first author acknowledges financial assistance from a special research grant of the Faculty of Arts at York University. The second author is partially supported by an NSERC operating grant.Presented at the European Colloquium of Category Theory, Tours, France, 25–31 July 1994.     

How accessible are categories of algebras?

For locally finitely presentable categories it is well known that categories of F-algebras, where F is a finitary endofunctor, are also locally finitely presentable. We prove that this generalizes to locally finitely multipresentable categories. But it fails, in general, for finitely accessible categories: we even present an example of a strongly finitary functor F (one that preserves finitely presentable objects) whose category of F-algebras is not finitely accessible. On the other hand, categories of F-algebras are proved to be ω₁-accessible for all strongly finitary functors—and it is an open problem whether this holds for all finitary functors.     

LEGENDRE TRANSFORMATIONS AND CARTAN FORMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

ABSTRACT

(PART II): In terms of a given Hamiltonian function the 1-form w = dH + ?_j|dπ^j is defined, where {?_j:j = 1,…, n} denotes an invariant basis of the planes of the distribution D_n. The latter is said to be canonical if w = 0 (which is analogous to the definition of Hamiltonian vector fields in symplectic geometry). This condition is equivalent to two sets of canonical equations that are expressed explicitly in term of the derivatives of H with respect to its positional arguments. The distribution D_n is said to be pseudo-Lagrangian if dπ^j(?_j,V_h) = 0; if D_n, is both canonical and pseudo-Lagrangian it is integrable and such that H = const. on each leaf of the resulting foliation. The Cartan form associated with this construction [9] is defined a II = π² ? ? πⁿ. If π is closed, the distribution D_N is integrable, and the exterior system {π^j} admits the representation ψ^j = dS^j in terms of a set of 0-forms S^j on M. If, in addition, the distribution D_N is canonical, these functions satisfy a single first order Hamilton-Jacobi equation, and conversely. Finally, a complete figure is constructed on the basis of the assumptions that (i) the Cartan form be closed, and (ii) that the distribution D_n, be both canonical and integrable. The last of these requirements implies the existence of N functions ψ^A that depend on x^h and N parameters w^B, whose derivatives are given by ?ψ^A (x^h, w^B)/?x^j = B^A _j (x^h, ψ^B (x^h,w^B)). The complete figure then consists of two complementary foliations: the leaves of the first are described by the functions ψ^A and satisfy the standard Euler-Lagrange equations, while the second, that is, the transversal foliation, is represented by the aforementioned solution of the Hamilton-Jacobi equation. The entire configuration then gives rise in a natural manner to a generalized Hilbert independent integral and consequently also to a generalized Weierstrass excess function.