Related papers: Cauchy completeness and causal spaces
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for…
The existence theory for solutions of the linearized field equations for causal variational principles is developed. We begin by studying the Cauchy problem locally in lens-shaped regions, defined as subsets of space-time which admit…
We investigate the interplay of crystal bases and completions in the sense of Enright on certain nonintegrable representations of quantum groups. We define completions of crystal bases, show that this notion of completion is compatible with…
In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…
The existence of adjoints to algebraic functors between categories of models of Lawvere theories follows from finite-product-preservingness surviving left Kan extension. A result along these lines was proved in Appendix 2 of Brian Day's…
The full causal ladder of spacetimes is constructed, and their updated main properties are developed. Old concepts and alternative definitions of each level of the ladder are revisited, with emphasis in minimum hypotheses. The implications…
We define a notion of category enriched over an oplax monoidal category $V$, extending the usual definition of category enriched over a monoidal category. Even though oplax monoidal structures involve infinitely many functors $V^n\to V$,…
In this article, the author proposes another way to define the completion of a metric space, which is different from the classical one via the dense property, and prove the equivalence between two definitions. This definition is based on…
We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…
We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds effective quotients and extensional equality. We note that…
Treatises about General Topology that emphasize the notion of uniformity and uniform space find, of course, no difficulty in defining the notion of a complete uniform space and in constructing the completion of a metric space, via its…
Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads…
The well-known Lawvere category R of extended real positive numbers comes with a monoidal closed structure where the tensor product is the sum. But R has another such structure, given by multiplication, which is *-autonomous. Normed sets,…
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
The focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived…
This paper studies a general notion of flatness in the enriched context: P-flatness where the parameter P stands for a class of presheaves. One obtains a completion of a category A by considering the category Flat_P(A) of P-flat presheaves…
This article suggests the definition of "Lorentzian space" weakening the notion of Lorentzian length spaces just as much that it allows for a functor from the category of strongly causal Lorentzian manifolds to the corresponding category of…
The aim of this work is to further develop the calculus of (internal) relations for a regular Ord-category C. To capture the enriched features of a regular Ord-category and obtain a good calculus, the relations we work with are precisely…
State of the art language models return a natural language text continuation from any piece of input text. This ability to generate coherent text extensions implies significant sophistication, including a knowledge of grammar and semantics.…
It is consistent with constructive set theory (without Countable Choice, clearly) that the Cauchy reals (equivalence classes of Cauchy sequences of rationals) are not Cauchy complete. Related results are also shown, such as that a Cauchy…