Related papers: 0-Dimensional Ideal Approximation Theory

We propose a new look on triangulated categories, which is based on the second Hochschild cohomology.

We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it…

In this paper, we approach the question if some of the separation axioms are equivalent in the class of asymmetric normed spaces. In particular, we make a remark on a known theorem which states that every $T_1$ asymmetric normed space with…

Categorization axioms have been proposed to axiomatizing clustering results, which offers a hint of bridging the difference between human recognition system and machine learning through an intuitive observation: an object should be assigned…

We develop the general formalism of approximable triangulated categories, and prove two representability theorems.

In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These…

We use (non-)additive sheaves to introduce an (absolute) notion of Hochschild cohomology for exact categories as Ext's in a suitable bisheaf category. We compare our approach to various definitions present in the literature.

We provide axioms for the dagger category of sets and relations that recall recent axioms for the dagger category of Hilbert spaces and bounded operators.

Let \({\mathbb K}\) be any field, let \(X\subset {\mathbb P}^{k-1}\) be a set of \(n\) distinct \({\mathbb K}\)-rational points, and let \(a\geq 1\) be an integer. In this paper we find lower bounds for the minimum distance \(d(X)_a\) of…

We prove Schlichting's theorem for approximate subgroups: if $\mathcal{X}$ is a uniform family of commensurable approximate subgroups in some ambient group, then there exists an invariant approximate subgroup commensurable with…

We characterize the uniform limits of Dirichlet polynomials on a right half plane. In the Dirichlet setting, we find approximation results, with respect to the Euclidean distance and {to} the chordal one as well, analogous to classical…

For the approx.ideal W of the approx.commutative ring R with unity in a descriptive relator space, after introducing the approx. prime ideal in [], this work demonstrates some special properties of the approx.ideals-specifically, the…

Let $\mathscr{F}$ be an $(n+2)$-angulated Krull-Schmidt category and $\mathscr{A} \subset \mathscr{F}$ an $n$-extension closed, additive and full subcategory with $\operatorname{Hom}_{\mathscr{F}}(\Sigma_n \mathscr{A}, \mathscr{A}) = 0$.…

By analogy with the program of McKinnon-Roth, we define and study approximation constants for points of a projective variety X defined over K the function field of an irreducible and non-singular in codimension 1 projective variety defined…

This paper uses the concept of algorithmic efficiency to present a unified theory of intelligence. Intelligence is defined informally, formally, and computationally. We introduce the concept of Dimensional complexity in algorithmic…

We introduce a new concept of approximation applicable to decision problems and functions, inspired by Bayesian probability. From the perspective of a Bayesian reasoner with limited computational resources, the answer to a problem that…

One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $\mathcal{E}$ can be (essentially…

Bounded-cohomological dimension of groups is a relative of classical cohomological dimension, defined in terms of bounded cohomology with trivial coefficients instead of ordinary group cohomology. We will discuss constructions that lead to…

In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…

The purpose of this paper is to initiate a development of a new non-pointed counterpart of semi-abelian categorical algebra. We are making, however, only the first step in it by giving equivalent definitions of what we call ideally exact…