Coherence for Product Monoids and their Actions

Let and be two monoids (algebras) in a monoidal category . Further let be a distributive law in the sense of [J. Beck, Lect. Notes Math., 80:119–140, 1969]; naturally yields a monoid . Consider a word in the symbols , , and . The first coherence theorem proved in this paper asserts that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , and . Assume now that an object is endowed with both an -object structure , and an -object structure . Further assume that these two structures are compatible, in the sense that they naturally yield an -object . Let be a word in , , , and , which contains a single instance of , in the rightmost position. The second coherence theorem states that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , , , and .     

Generalized Continuous Posets and a New Cartesian Closed Category

With every subset selection for posets, there is associated a certain ideal completion . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about –predistributive or –precontinuous posets and –continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are continuous functions between them, is shown to be cartesian closed. This research is supported by the National Natural Science Foundation of China, 10471035.     

Epi-topology and Epi-convergence for Archimedean Lattice-ordered Groups with Unit

is the category of archimedean -groups with distinguished weak order unit, with -group homomorphisms which preserve unit. This category includes all rings of continuous functions and all rings of measurable functions modulo null functions, with ring homomorphisms. The authors, and others, have studied previously the epimorphisms (right-cancellable morphisms) in . There is a rich theory. In this paper, we describe a topological approach to the analysis of these epimorphisms. On each – object, we define a topology and a convergence . These have the same closure operator, and this closure “captures epics” in the sense: a divisible subobject of is dense iff is epically embedded. The topology is , but only sometimes Hausdorff or an -group topology. The convergence is a Hausdorff -group convergence, but only sometimes topological. The associations of to , and to , are functorial. Dedicated to Bernhard Banaschewski for his 80th birthday.     

The Gold Partition Conjecture

We present the Gold Partition Conjecture which immediately implies the – Conjecture and tight upper bound for sorting. We prove the Gold Partition Conjecture for posets of width two, semiorders and posets containing at most elements. We prove that the fraction of partial orders on an -element set satisfying our conjecture converges to when approaches infinity. We discuss properties of a hypothetical counterexample.     

Two-parameter p, q-variation Paths and Integrations of Local Times

In this paper, we prove two main results. The first one is to give a new condition for the existence of two-parameter -variation path integrals. Our condition of locally bounded -variation is more natural and easy to verify than those of Young. This result can be easily generalized to multi-parameter case. The second result is to define the integral of local time pathwise and then give generalized It’s formula when is only of bounded -variation in . In the case that is of locally bounded variation in , the integral is the Lebesgue–Stieltjes integral and was used by Elworthy, Truman and Zhao. When is of only locally -variation, where , , and , the integral is a two-parameter Young integral of -variation rather than a Lebesgue–Stieltjes integral. In the special case that is independent of , we give a new condition for Meyer's formula and is defined pathwise as a Young integral. For this we prove the local time is of -variation in for each , for each almost surely (-variation in the sense of Lyons and Young, i.e. ).     

A Relation Between Closure Operators on a Small Category and Its Category of Presheaves

In this paper we show that each factorization structure on a small category , satisfying certain conditions, yields a presheaf on and a morphism of presheaves . We then give connections, and set up one to one correspondences, between subclasses of the following classes: (a) closure operators on (b) subobjects of (c) morphisms from to (d) weak Lawvere–Tierney topologies (e) weak Grothendieck topologies (f) closure operators on .     

Admissible Galois Structures and Coverings in Regular Mal’cev Categories

Given a regular Gumm category such that any regular epimorphism is effective for descent, we prove that any Birkhoff subcategory in gives rise to an admissible Galois structure. This result allows one to consider some new applications of the categorical Galois theory in the context of topological algebras. Given a regular Mal’cev category , we first characterize the coverings of the Galois structure induced by the subcategory of the abelian objects in . Then we consider as a subcategory of the category of the equivalence relations in , and we characterize the coverings of the corresponding Galois structure . By composing the Galois structures and we obtain the Galois structure induced by as a subcategory of . We give the characterization of the -coverings in terms of the coverings of and .     

Sober Approach Spaces are Firmly Reflective for the Class of Epimorphic Embeddings

In [2] the subconstruct of sober approach spaces was introduced and it was shown to be a reflective subconstruct of the category of approach spaces. The main result of this paper states that moreover is firmly -reflective in for the class of epimorphic embeddings. ‘Firm -reflective’ is a notion introduced in [3] by G.C.L. Brümmer and E. Giuli and is inspired by the exemplary behaviour of the usual completion in the category of Hausdorff uniform spaces with uniformly continuous maps. It means that is -reflective in and that the reflector is such that belongs to if and only if is an isomorphism. Firm -reflectiveness implies uniqueness of completion in the sense that whenever is a map with and sober, the associated is an isomorphism. Our result generalizes the fact that in the category the subconstruct of sober topological spaces is firmly reflective for the class of b-dense embeddings in . Also firmness in some other subconstructs of will be easily obtained.A. Gerlo and C. Van Olmen are research assistants at the Fund of Scientific Research Vlaanderen (FWO). E. Vandersmissen is a research assistant supported by the FWO-grant G.0244.05.     

\lambda-presentable Morphisms, Injectivity and (Weak) Factorization Systems

We show that in a locally -presentable category, every -injectivity class (i.e., the class of all the objects injective with respect to some class of -presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of -presentable morphisms. This was known for small-injectivity classes, and referred to as the ‘small object argument.’ An analogous result is obtained for orthogonality classes and factorization systems, where -filtered colimits play the role of the transfinite compositions in the injectivity case. -presentable morphisms are also used to organize and clarify some related results (and their proofs), in particular on the existence of enough injectives (resp. pure-injectives). Finally, locally -presentable categories are shown to be cellularly generated by the set of morphisms between -presentable objects.     

Extremal stochastic integrals: a parallel between max-stable processes and α-stable processes

We construct extremal stochastic integrals of a deterministic function with respect to a random Fréchet () sup-measure. The measure is sup-additive rather than additive and is defined over a general measure space , where is a deterministic control measure. The extremal integral is constructed in a way similar to the usual stable integral, but with the maxima replacing the operation of summation. It is well-defined for arbitrary , and the metric metrizes the convergence in probability of the resulting integrals.This approach complements the well-known de Haan's spectral representation of max-stable processes with Fréchet marginals. De Haan's representation can be viewed as the max-stable analog of the LePage series representation of stable processes, whereas the extremal integrals correspond to the usual stable stochastic integrals. We prove that essentially any strictly stable process belongs to the domain of max-stable attraction of an Fréchet, max-stable process. Moreover, we express the corresponding Fréchet processes in terms of extremal stochastic integrals, involving the kernel function of the stable process. The close correspondence between the max-stable and stable frameworks yields new examples of max-stable processes with non-trivial dependence structures.This research was partially supported by a fellowship of the Horace H. Rackham School of Graduate Studies at the University of Michigan and the NSF Grant DMS-0505747 at Boston University.     

Chernoff's Theorem and Discrete Time Approximations of Brownian Motion on Manifolds

Let be a one-parameter family of positive integral operators on a locally compact space . For a possibly non-uniform partition of define a finite measure on the path space by using a) for the transition between any two consecutive partition times of distance and b) a suitable continuous interpolation scheme (e.g. Brownian bridges or geodesics). If necessary normalize the result to get a probability measure. We prove a version of Chernoff's theorem of semigroup theory and tightness results which yield convergence in law of such measures as the partition gets finer. In particular let be a closed smooth submanifold of a manifold . We prove convergence of Brownian motion on , conditioned to visit at all partition times, to a process on whose law has a density with respect to Brownian motion on which contains scalar, mean and sectional curvatures terms. Various approximation schemes for Brownian motion on are also given.      

Existence and Stability Results for Renormalized Solutions to Noncoercive Nonlinear Elliptic Equations with Measure Data

In this paper we prove the existence of a renormalized solution to a class of nonlinear elliptic problems whose prototype is

On Non-M-Cosingular Completely ⊕-Supplemented Modules

In this paper, it is shown that any non--cosingular -supplemented module is if and only if has the summand intersection property. Let be any module such that has a coclosure in . Then we prove that is (completely) -supplemented if and only if for some submodule of such that and both are (completely) -supplemented.     

On ideals and quotients of A \mathcal{T} -algebras

Some results on A -algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of A -algebras are A -algebras or A -algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an A -algebra being an A -algebra.     

Quasi-regular Dirichlet Forms and L^p-resolvents on Measurable Spaces

We prove that for any semi-Dirichlet form on a measurable Lusin space E there exists a Lusin topology with the given -algebra as the Borel -algebra so that becomes quasi-regular. However one has to enlarge E by a zero set. More generally a corresponding result for arbitrary -resolvents is proven.     

On an Essentially Algebraic Theory for Locally Presentable Categories

This paper presents a general construction, defining for each given strong generator in any locally finitely presentable category an essentially algebraic, finitary theory – maximal in a certain sense – such that is equivalent to the category of models of . For regular generators , generalization to the non-finitary case is easily done, and yields a new proof of the famous characterization of many-sorted quasivarieties.     

Young Integrals and SPDEs

In this note, we study the non-linear evolution problem $dY_t = -A Y_t dt + B(Y_t) dX_t,$ where $XIn this note, we study the non-linear evolution problem where is a -H?lder continuous function of the time parameter, with values in a distribution space, and the generator of an analytical semigroup. Then, we will give some sharp conditions on in order to solve the above equation in a function space, first in the linear case (for any value of in ), and then when satisfies some Lipschitz type conditions (for ). The solution of the evolution problem will be understood in the mild sense, and the integrals involved in that definition will be of Young type.     

Slices of Essentially Algebraic Categories

This paper is a contribution to the theory of functor slices of J. Sichler and V. Trnková. For every ordinal α we introduce a basket , prove that every essentially algebraic category of height α is a slice of , characterize small slices of and give a common generalization of known results about slices of the algebraic basket .      

From light tails to heavy tails through multiplier

Let X and Y be two independent nonnegative random variables, of which X has a distribution belonging to the class or for some γ ≥ 0 and Y is unbounded. We study how their product XY inherits the tail behavior of X. Under some mild technical assumptions we prove that the distribution of XY belongs to the class or accordingly. Hence, the multiplier Y builds a bridge between light tails and heavy tails.