The symmetry of the Cauchy-completion of a category

1982 ◽  
pp. 8-12 ◽  
Author(s):  
R. Betti ◽  
R. F. C. Walters
Keyword(s):  
Cauchy Completion

A Cauchy completion for function rings

1969 ◽  
Vol 113 (2) ◽  
pp. 145-153 ◽  
Author(s):  
K. W. Armstrong
Keyword(s):  
Cauchy Completion

scholarly journals Cauchy completion of Abelian tight Riesz groups

1975 ◽  
Vol 19 (1) ◽  
pp. 62-73 ◽  
Author(s):  
B. F. Sherman
Keyword(s):  
Abelian Group ◽  
Vector Space ◽  
Important Case ◽  
Product Theorem ◽  
Real Vector ◽  
Partially Ordered ◽  
Word Group ◽  
Central Product ◽  
Ordered Groups ◽  
Cauchy Completion

This paper concerns the completions of partially ordered groups introduced by Fuchs (1965a) and the author (to appear); the p.o. groups under consideration are, generally, abelian tight Riesz groups, and so, throughout, the word “group” will refer to an abelian group.In section 3 we meet the cornerstone of the work, the central product theorem, by means of which we can interpret the Cauchy completion of a tight Riesz group in terms of the completion of any of its o-ideals; one particularly important case arises when the group has a minimal o-ideal. Such a minimal o-ideal is o-simple, and in section 6 the completion of an isolated o-simple tight Riesz group is shown to be a tight Riesz real vector space.

scholarly journals Cauchy completion of partially ordered groups

1974 ◽  
Vol 18 (2) ◽  
pp. 222-229 ◽  
Author(s):  
B. F. Sherman
Keyword(s):  
Partial Order ◽  
Open Interval ◽  
Macneille Completion ◽  
Partially Ordered ◽  
Interval Topology ◽  
Original Order ◽  
Ordered Groups ◽  
Cauchy Completion ◽  
Original Group ◽  
Topological Completion

A number of completions have been applied to p.o.-groups — the Dede kind-Macneille completion of archimedean l.o. groups; the lateral completion of l.o. groups (Conrad [2]); and the orthocompletion of l.o. groups (Bernau [1]). Fuchs in [3] has considered a completion of p.o. groups having a non-trivial open interval topology — the only l.o. groups of this form being fully ordered. He applies an ordering, which arises from the original partial order, to the group of round Cauchy filters over this topology; Kowaisky in [6] has shown that group, imbued with a suitable topology, is in fact the topological completion of the original group under its open interval topology. In this paper a slightly different ordering, also arising from the original order, is proposed for the group of round Cauchy filters; Fuchs' ordering can be obtained from this one as the associated order.

scholarly journals Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra

10.29007/pw5g ◽  
2018 ◽  
Author(s):  
Larry Moss ◽  
Jayampathy Ratnayake ◽  
Robert Rose
Keyword(s):  
Metric Space ◽  
Metric Spaces ◽  
Topological Spaces ◽  
Fractal Sets ◽  
Cauchy Completion ◽  
Sweeping Generalization ◽  
Initial Algebra ◽  
Finite Metric Spaces ◽  
Set Of Points

This paper is a contribution to the presentation of fractal sets in terms of final coalgebras.The first result on this topic was Freyd's Theorem: the unit interval [0,1] is the final coalgebra ofa certain functor on the category of bipointed sets. Leinster 2011 offersa sweeping generalization of this result. He is able to represent many of what would be intuitivelycalled "self-similar" spaces using (a) bimodules (also called profunctors or distributors),(b) an examination of non-degeneracy conditions on functors of various sorts; (c) a construction offinal coalgebras for the types of functors of interest using a notion of resolution. In addition to thecharacterization of fractals sets as sets, his seminal paper also characterizes them as topological spaces.Our major contribution is to suggest that in many cases of interest, point (c) above on resolutionsis not needed in the construction of final coalgebras. Instead, one may obtain a number of spaces ofinterest as the Cauchy completion of an initial algebra,and this initial algebra is the set of points in a colimit of an omega-sequence of finite metric spaces.This generalizes Hutchinson's 1981 characterization of fractal attractors asclosures of the orbits of the critical points. In addition to simplifying the overall machinery, it also presents a metric space which is ``computationally related'' to the overall fractal. For example, when applied to Freyd's construction, our method yields the metric space.of dyadic rational numbers in [0,1].Our second contribution is not completed at this time, but it is a set of results on \emph{metric space}characterizations of final coalgebras. This point was raised as an open issue in Hasuo, Jacobs, and Niqui 2010,and our interest in quotient metrics comes from their paper. So in terms of (a)--(c) above, our workdevelops (a) and (b) in metric settings while dropping (c).

scholarly journals A comparison of concepts from computable analysis and effective descriptive set theory

2016 ◽  
Vol 27 (8) ◽  
pp. 1414-1436 ◽  
Author(s):  
VASSILIOS GREGORIADES ◽  
TAMÁS KISPÉTER ◽  
ARNO PAULY
Keyword(s):  
Set Theory ◽  
Metric Spaces ◽  
Computable Analysis ◽  
Descriptive Set Theory ◽  
Polish Spaces ◽  
Complete Metric Spaces ◽  
Cauchy Completion ◽  
Precise Relationship ◽  
Descriptive Set ◽  
Effective Descriptive Set Theory

Computable analysis and effective descriptive set theory are both concerned with complete metric spaces, functions between them and subsets thereof in an effective setting. The precise relationship of the various definitions used in the two disciplines has so far been neglected, a situation this paper is meant to remedy.As the role of the Cauchy completion is relevant for both effective approaches to Polish spaces, we consider the interplay of effectivity and completion in some more detail.

Cauchy Completion Categories

1989 ◽  
Vol 32 (1) ◽  
pp. 78-84 ◽  
Author(s):  
D. C. Kent ◽  
G. D. Richardson
Keyword(s):  
Convergence Property ◽  
General Procedure ◽  
Cauchy Completion ◽  
Cauchy Spaces

AbstractA general procedure is introduced for identifying categories of Cauchy spaces which have completions which possess a certain convergence property P, and for constructing completion functors on such categories. These results are applied to obtain a characterization of Cauchy spaces which allow T3 completions, and to construct T3 completions for categories of Cauchy groups and Cauchy lattices.

Sign in / Sign up

Export Citation Format

Share Document