Related papers: Products and coequalizers in pointed categories

We consider group actions of topological groups on C*-algebras of the types which occur in many physics models. These are singular actions in the sense that they need not be strongly continuous, or the group need not be locally compact. We…

We consider the finite generation property for cohomology algebra of pointed finite tensor categories via de-equivariantization and exact sequence of finite tensor categories. As a result, we prove that all coradically graded pointed finite…

We prove Milnor-Wood inequalities for local products of manifolds. As a consequence, we establish the generalized Chern Conjecture for products $M\times \Sigma^k$ for any product of a manifold $M$ with a product of $k$ copies of a surface…

We show that, when restricted to the class of varieties that have a Taylor term, several commutator properties are definable by Maltsev conditions.

We characterise regular Goursat categories through a specific stability property of regular epimorphisms with respect to pullbacks. Under the assumption of the existence of some pushouts this property can be also expressed as a restricted…

We investigate properties of varieties of algebras described by a novel concept of equation that we call \emph{commutator equation}. A commutator equation is a relaxation of the standard term equality obtained substituting the equality…

In this paper, let $A$ be a unital separable simple infinite dimensional C*-algebra which has uniform property $\Gamma$. Let $\alpha\colon G\to \mathrm{Aut}(A)$ be an action of a finite group which has the weak tracial Rokhlin property.…

The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…

A locally compact group $G$ has the factorization property if the map $$C^*(G)\odot C^*(G)\ni a\otimes b\mapsto \lambda(a)\rho(b)\in\mathcal B(L^2(G))$$ is continuous with respect to the minimal C*-norm. This paper seeks to initiate a…

We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the…

We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of cohomologically unital, of unital and of strictly unital $A_\infty$ categories with respect to the corresponding classes of…

In a sufficiently rich category, such as a category of R-modules, and a given infinite cardinal $\kappa$, we examine classes $\Cal H^\kappa_*$ of objects M, such that the following natural monomorphism is an isomorphism: $$\prod_{i\in…

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$. We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$, i.e. a split extension in…

For a local field $F$ and an Artinian local coefficient ring $\Lambda$ with the same positive residue characteristic $p$ we define, for any $e\in{\mathbb N}$, a category ${\mathfrak C}^{(e)}(\Lambda)$ of ${\rm GL}_2(F)$-equivariant…

In this article we introduce the local versions of the Voevodsky category of motives with Z/p-coefficients over a field k, parameterized by finitely-generated extensions of k. We introduce the, so-called, flexible fields, passage to which…

The homomorphic image of a congruence is always a tolerance (relation) but, within a given variety, a tolerance is not necessarily obtained this way. By a Maltsev-like condition, we characterize varieties whose tolerances are homomorphic…

Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…

In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $\Sigma$. Our goal in this paper is to show that $\Sigma$-testing can be accomplished…

A previous result of the authors with Chaput and Perrin states that the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space G/P is again a Schubert variety. In this paper we identify this…

We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules…