Related papers: A note on morphisms determined by objects

We give a necessary and sufficient condition for a morphism between recollements of abelian categories to be an equivalence.

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Goedel algebras, relative Stone…

Assuming the Hodge conjecture for abelian varieties of CM-type, one obtains a good category of abelian motives over the algebraic closure of a finite field and a reduction functor to it from the category of CM-motives. Consequentely, one…

We give a classification of substructures (= closed subbifunctors) of a given skeletally small extriangulated category by using the category of defects, in a similar way to the author's classification of exact structures of a given additive…

We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.

Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…

We study infinite words fixed by a morphism and their derived words. A derived word is a coding of return words to a factor. We exhibit two examples of sets of morphisms which are closed under derivation --- any derived word with respect to…

We develop some new aspects of cohomology in the context of semi-abelian categories: we establish a Hochschild-Serre 5-term exact sequence extending the classical one for groups and Lie algebras; we prove that an object is perfect if and…

We prove that every projective variety of dimension n over a field of positive characteristic admits a morphism to projective n-space, etale away from the hyperplane H at infinity, which maps a chosen divisor into H and a chosen smooth…

We prove that separable extensions of noetherian rings and finite \'etale morphisms of noetherian schemes give rise to separable extensions of singularity categories.

Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…

In 1962, H. de Vries proved a duality theorem for the category {\bf HC} of compact Hausdorff spaces and continuous maps. The composition of the morphisms of the dual category obtained by him differs from the set-theoretic one. Here we…

We show that the quotient of a Hom-finite triangulated category C by the kernel of the functor Hom(T, -), where T is a rigid object, is preabelian. We further show that the class of regular morphisms in the quotient admit a calculus of left…

We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…

Recently Dupont proved that the categories of discrete and codiscrete (or connected) objects in an abelian 2-category are equivalent abelian categories. He posses also a question whether any abelian category comes in this way. We will give…

We consider the problem of characterizing isomorphisms of types, or, equivalently, constructive cardinality of sets, in the simultaneous presence of disjoint unions, Cartesian products, and exponentials. Mostly relying on results about…

A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical…

The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…

We show that for each algebraic space that is separated and of finite type over a field, and whose affinization is connected and reduced, there is a universal morphism to a para-abelian variety. The latter are schemes that acquire the…