Related papers: Relating ample and biample topological categories …

In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of…

Riehl and Verity have established that for a quasi-category $A$ that admits limits, and a homotopy coherent monad on $A$ which does not preserve limits, the Eilenberg-Moore object still admits limits; this can be interpreted as a…

We introduce a noncommutative and noncocommutative Hopf algebra which takes for certain Hopf categories (and therefore braided monoidal bicategories) a similar role as the Grothendieck- Teichmueller group for quasitensor categories. We also…

We introduce pseudoalgebras for relative pseudomonads and develop their theory. For each relative pseudomonad $T$, we construct a free--forgetful relative pseudoadjunction that exhibits the bicategory of $T$-pseudoalgebras as terminal among…

This paper shows that divisible abelian torsion groups are realizable as Brauer groups of quasilocal fields. It describes the isomorphism classes of Brauer groups of primarily quasilocal fields and solves the analogous problem concerning…

We introduce an equivalence relation on the global class of morphisms of a category that extends several classical notions of equivalence in mathematics. We show that the standard group-action equivalence is a special case of our framework.…

Cohomology of a topological space with coefficients in stacks of abelian 2-groups is considered. A 2-categorical analog of the theorem of Grothendieck is proved, relating cohomology of the space with coefficients in a 2-stage spectrum and…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

Recollements of abelian categories are used as a basis of a homological and recursive approach to quasi-hereditary algebras. This yields a homological proof of Dlab and Ringel's characterisation of idempotent ideals occuring in heredity…

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a…

Restriction categories were introduced as a way of generalising the notion of partial map categories. In this paper, we define cocomplete restriction category, and give the free cocompletion of a small restriction category as a suitably…

This paper extends the fundamental results of frame theory to a non-commutative setting where the role of locales is taken over by \'etale localic categories. This involves ideas from quantale theory and from semigroup theory, specifically…

We give algebraic characterizations of the type I and CCR properties for locally compact second countable, ample Hausdorff groupoids in terms of subquotients of their Boolean inverse semigroups of compact open bisections. It yields in turn…

We prove that the isomorphism problem is decidable for generalized Baumslag-Solitar (GBS) groups with one quasi-conjugacy class and full support gaps. In order to do so we introduce a family of invariants that fully characterize the…

It is shown that some topological equivalency classes of S-unimodal maps are equal to quasisymmetric conjugacy classes. This includes some infinitely renormalizable polynomials of unbounded type.

We investigate relative cohomology functors on subcategories of abelian categories via Auslander-Buchweitz approximations and the resulting strict resolutions. We verify that certain comparison maps between these functors are isomorphisms…

We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely…

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…

A Boolean constraint satisfaction instance is a conjunction of constraint applications, where the allowed constraints are drawn from a fixed set B of Boolean functions. We consider the problem of determining whether two given constraint…

The notion of locally quasi-convex abelian group, introduce by Vilenkin, is extended to maximally almost-periodic non-necessarily abelian groups. For that purpose, we look at certain bornologies that can be defined on the set…