Related papers: Lawvere completeness in Topology
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…
It is known that there are complete, Hausdorff and regular convergence vector spaces X and Y such that Lc(X,Y), the space of continuous linear mappings from X into Y equipped with the continuous convergence structure, is not complete. In…
We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all…
The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this…
We pursue the study of Ultracategories initiated by Makkai and more recently Lurie by looking at properties of Ultracategories of complete metric structures, i.e. coming from continuous model theory, instead of ultracategories of models of…
We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we…
Nearly three decades from his celebrated result, we study a modern refinement and strengthening of Kopperman's full metrisabilty of all topological spaces. Within this new theory of \emph{V-spaces}, developed by Flagg and Weiss, we…
Co-compact entropy is introduced as an invariant of topological conjugation for perfect mappings defined on any Hausdorff space(compactness and metrizability not necessarily required). This is achieved through the consideration of…
We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…
Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and…
We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly…
In this survey we explain the results of the recent article arXiv:1806.06471. Following a 1973 article by Lawvere one can define metrics on categories, and following Kelly's 1982 book one can complete a category with respect to its metric.…
For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann,…
A scale of the Frechet spaces of exponential type entire functions of one complex variable is considered. Certain special properties of subsets of these spaces consisting of Laguerre entire functions, which are obtained as uniform limits on…
This paper introduces a notion of categorical approximability for metric spaces that can be viewed as a categorification of approximability for metric groups, as defined by Turing in 1938. Approximability as introduced here is a property of…
We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…
We give a detailed account of the theory of enrichment over a bicategory and show that it establishes a two-fold generalization of enrichment over both quantaloids and monoidal categories. We define complete B-categories, a generalization…
Inversion of various inclusions, that characterize continuity in topological spaces, results in numerous variants of quotient and perfect maps. In the framework of convergences, the said inclusions are no longer equivalent, and each of them…
Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms).…