Related papers: Nearly locally presentable categories

In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category $\mathbb{C}$ in an $n$-th power of a particular locally finitely…

We use the abelian approximation for the bootstrap category of filtered C*-algebras to define a sensible notion of support for its objects. As a consequence, we provide a full classification of localizing subcategories in terms of a product…

Let $p \geq 2$ be a prime number and let $k$ be a number field. Let $\mathcal{A}$ be an abelian variety defined over $k$. We prove that if ${\rm Gal} ( k ( {\mathcal{A}}[p] ) / k )$ contains an element $g$ of order dividing $p-1$ not fixing…

Restriction categories provide a categorical framework for partiality. In this paper, we introduce three new categorical theories for partiality: local categories, partial categories, and inclusion categories. The objects of a local…

We introduce a notion of compatible quasi-ordered groups which unifies valued and ordered abelian groups. It was proved in a paper by Fakhruddin that a compatible quasi-order on a field is always either an order or a valuation. We show here…

Motivated by Popescu's example of hidden nonlocality, we elaborate on the conjecture that quantum states that are intuitively nonlocal, i.e., entangled, do not admit a local causal hidden variables model. We exhibit quantum states which…

We study a summability method called almost convergence for bounded measurable functions defined on a locally compact abelian group. We define almost convergence using topologically invariant means and exhibit two different kinds of…

We prove that every finitely generated soluble group which is not virtually abelian has a subgroup of one of a small number of types.

We study groups having the property that every non-abelian subgroup is equal to its normalizer. This class of groups is closely related to an open problem posed by Berkovich. We give a full classification of finite groups having the above…

We study locally compact groups having all dense subgroups (locally) minimal. We call such groups densely (locally) minimal. In 1972 Prodanov proved that the infinite compact abelian groups having all subgroups minimal are precisely the…

We give a purely category-theoretic proof of the result of Makkai and Par\'e saying that the category $\bf Lin$ of linearly ordered sets and order preserving injective mappings is a minimal finitely accessible category. We also discuss the…

Given a definably amenable approximate subgroup $A$ of a (local) group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ such that every definable superset of $H$ has positive…

In all forms of the local Langlands program the abelian category of smooth representations of p-adic groups G in vector spaces over a field k plays a central role. Of particular interest are its finiteness properties. If the field k has…

Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…

We are interested in classifying groups of local biholomorphisms (or even formal diffeomorphisms) that can be endowed with a canonical structure of algebraic group up to add extra formal diffeomorphisms. We show that this is the case for…

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…

If ${\cal D}$ is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a $\varinjlim$-generating set of strictly ${\cal D}$-atomic modules. These modules share some key…

We deduce the relative version of the equivalences relating the relative Local Global Principle and the Normality of the relative Elementary subgroups of the traditional classical groups, viz. general linear, symplectic and orthogonal…

We show in this paper that representations of a finite product of categories satisfying certain combinatorial conditions have finite Castelnuovo-Mumford regularity if and only if they are presented in finite degrees, and hence the category…

We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…