Related papers: Injective Spaces via Adjunction
In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…
A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable…
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…
This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…
We present several naturally occurring classes of spectral spaces using commutative algebra on pointed monoids. For this purpose, our main tools are finite type closure operations and continuous valuations on monoids which we introduce in…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
Our subject is that of categories, functors and distributors enriched in a base quantaloid Q. We show how cocomplete Q-categories are precisely those which are tensored and conically cocomplete, or alternatively, those which are tensored,…
We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…
We study thick subcategories of the category of 2-term complexes of projective modules over an associative algebra. We show that those thick subcategories that have enough injectives are in explicit bijection with 2-term silting complexes…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
This paper studies colimits of sequences of finite Chu spaces and their ramifications. Besides generic Chu spaces, we consider extensional and biextensional variants. In the corresponding categories we first characterize the monics and then…
In this paper, we obtain some results on the relationships between different ideal \linebreak convergence modes namely, $\mathcal{I}^\mathcal{K}$, $\mathcal{I}^{\mathcal{K}^*}$, $\mathcal{I}$, $\mathcal{K}$, $\mathcal{I} \cup \mathcal{K}$…
In this paper, we have proved results similar to Tychonoff's Theorem on embedding a space of functions with the topology of pointwise convergence into the Tychonoff product of topological spaces, but applied to the function space $C(X,Y)$…
We study the topology of X given that Cp(X) injects into Cp(Y), where Y is compact. We first show that if Cp over a GO-space (="subspace of a lineraly ordered space") injects into Cp over a compactum, then the Dedekind remainder of the…
This paper presents a new version of boundary on coarse spaces. The space of ends functor maps coarse metric spaces to uniform topological spaces and coarse maps to uniformly continuous maps.
We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $\Omega': Top*\to Mon$ after we have localized $Mon$ with…
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
Let $H$ be a Hopf algebra over a field $k$, and $A$ an $H$-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom…
We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…