Related papers: Smyth complete real-enriched categories

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing…

We introduce the notion of an enriched set, as an abstraction of enriched categories, and a category of enriched sets. The set of enriched sets is itself described as a set enriched over the category of enriched sets. We introduce a method…

We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking' by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$…

We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of…

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…

We give an elementary construction of the exact completion of a weakly lex category for categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets. Paralleling the ordinary case, we characterize categories…

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,…

This paper investigates the global properties of a class of spherically symmetric spacetimes. The class contains the maximal development of asymptotically flat spherically symmetric initial data for a wide variety of coupled Einstein-matter…

In topological data science, categories with a flow have become ubiquitous, including as special cases examples like persistence modules and sheaves. With the flow comes an interleaving distance, which has proven useful for applications. We…

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces…

Given a fixed tensor triangulated category S we consider triangulated categories T together with an S-enrichment which is compatible with the triangulated structure of T. It is shown that, in this setting, an enriched analogue of Brown…

We go back to the roots of enriched category theory and study categories enriched in chain complexes; that is, we deal with differential graded categories (DG-categories for short). In particular, we recall weighted colimits and provide…

In this work, inspired by some physical intuitions, we define a series of symmetry enriched categories to describe symmetry enriched topological (SET) orders, and define a new tensor product, called the relative tensor product, which…

In this paper we initiate the study of enriched $\infty$-operads. We introduce several models for these objects, including enriched versions of Barwick's Segal operads and the dendroidal Segal spaces of Cisinski and Moerdijk, and show these…

The category $Ban$ of Banach spaces and linear maps of norm $\leq 1$ is locally $\aleph_1$-presentable but not locally finitely presentable. We prove, however, that $Ban$ is locally finitely presentable in the enriched sense over complete…

We prove that the category of Dedekind $\sigma$-complete Riesz spaces is an infinitary variety, and we provide an explicit equational axiomatization. In fact, we show that finitely many axioms suffice over the usual equational…

In the context of categorical topology, more precisely that of T-categories [Hofmann, 2007], we define the notion of T-colimit as a particular colimit in a V-category. A complete and cocomplete V-category in which limits distribute over…

While any infimum in a poset can also be computed as a supremum, and vice versa, categorical limits and colimits do not always approximate each other. If I approach a point from below, and you approach it from above, then we will surely…