On quasi-equations in locally presentable categories II: A Logic

• Because of (ii), Condition (1a) of [A, Remark 6.4.5], which involves the orthogonal of the subspace generated by roots, reduces to say that H 1 (u) does not contain the

We also use results of Abels about compact presentability of p-adic groups to exhibit a finitely presented non-Hopfian Kazhdan

This allows us to deduce in Section 9 that the category proj P f (∆) of the projective modules over a deformed prepro- jective algebra of generalized Dynkin type [8] is

In our p aper we derived from th e above earlier work th a t the quasi- equational subcategories of a locally finitely presentable category are precisely those

Theorem 2 asserts that a category is equivalent to a variety if and only if it is cocomplete and has a strong generator consisting of strongly finitely

on weak factorization systems from the realm of locally presentable categories to all locally ranked categories. We use

full subcategory of a finitely accessible category G, and if it is closed under filtered colimits in G, then a reflector Q : l -> IC preserves

When the ambient category is locally coherent, mean- ing that finitely generated subobjects of finitely presentable ones are finitely presentable ([7]), the sheaves are