Related papers: Cauchy completeness and causal spaces
In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…
We extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite…
We study a metric-like structure on categories, showing that the concept of the limit of a sequence in a metric space and the concept of the colimit of a sequence in a category have a common generalization. The main concept is a norm on a…
We introduce a product in all complex normed vector spaces, which generalizes the inner product of complex inner product spaces. Naturally the question occurs whether the Cauchy-Schwarz inequality is fulfilled. We provide a positive answer.…
In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…
We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits…
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…
This is a write-up of a talk given at the CATMI meeting in Bergen in July 2023, and is an introduction to a category-theoretic perspective on metric spaces. A metric space is a set of points such that between each pair of points there is a…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
Properties of categories enriched over the category of metric spaces are investigated and applied to a study of constructions known from that category and the category of Banach spaces. For every class of morphisms satisfying a mild…
In this work we provide the full description of the upper levels of the classical causal ladder for spacetimes in the context of Lorenztian length spaces, thus establishing the hierarchy between them. We also show that global hyperbolicity,…
We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored…
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,\infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories,…
We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical.…
The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour…
In this paper, we introduce the notions of $\alpha$-quasicomplemented and totally $\alpha$-quasicomplemented subspaces and we established some results under these contexts. We show, for example, that if $X$ is a separable or reflexive…
In the paper where he defined the Cauchy completion of a $\mathscr{V}$-category, Lawvere also defined a condition on a $\mathscr{V}$-functor which made it analogous to a map of metric spaces whose image is topologically dense in its…
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…
We show that for any quantale $\mathcal{Q}$, a $\mathcal{Q}$-category is skeletal and complete if and only if it is injective with respect to fully faithful $\mathcal{Q}$-functors. This is a special case of known theorems due to Hofmann and…
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…