Related papers: Approximate categorical structures

We establish necessary and sufficient conditions guaranteeing compactness of embeddings of fractional Sobolev spaces, Besov spaces, and Triebel-Lizorkin spaces, in the general context of quasi-metric-measure spaces. Although stated in the…

We deal with some aspects of the theory of conformal embeddings of affine vertex algebras, providing a new proof of the Symmetric Space Theorem and a criterion for conformal embeddings of equal rank subalgebras. We finally study some…

We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of…

We explore the structure of $\text{Fil}$, the category of filters and germs of admissible partial functions. In particular, we show that $\text{Fil}$ is a nonsymmetric closed category, as defined elsewhere by this and other authors.

In the authors book, Associative Algebraic Geometry, 2023, and the following article Shemes of Associative Algebras,\\ https://doi.org/10.48550/arXiv.2410.17703,2024, we use an algebraization of the semi-local formal moduli of simple…

We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure…

Let $G$ be a connected reductive group. We find a necessary and sufficient condition for a quasiaffine homogeneous space of $G$ to be embeddable into an irreducible $G$-module. In addition, for an affine homogeneous space we find a…

We say that a finite metric space $X$ can be embedded almost isometrically into a class of metric spaces $C$, if for every $\epsilon > 0$ there exists an embedding of $X$ into one of the elements of $C$ with the bi-Lipschitz distortion less…

Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...).…

We prove new Brown representability theorems for triangulated categories using metric techniques as introduced in the work of Neeman. In the setting of algebraic geometry, this gives us new representability theorems for homological and…

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…

Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical…

We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…

In this paper, we study metric completions of triangulated categories in a representation-theoretic context. We provide a concrete description of completions of bounded derived categories of hereditary finite dimensional algebras of finite…

We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…

We consider finitary approximations of the (embedding) Ramsey property. Using a class of homogeneous reducts of random ordered hypergraphs, we prove that these properties form a strict hierarchy. We also show that every class of finite…

Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…

Let $(\mathfrak{C},\mathbb{E},\mathfrak{s})$ be an Ext-finite, Krull-Schmidt and $k$-linear extriangulated category with $k$ a commutative artinian ring. We define an additive subcategory $\mathfrak{C}_r$ (respectively, $\mathfrak{C}_l$) of…

A new subspace of Morrey spaces whose elements can be approximated by infinitely differentiable compactly supported functions is introduced. Consequently, we give an explicit description of the closure of the set of such functions in Morrey…