Find a concept
Start typing to search the mathematical index.
An autoequivalence representing an integral degree shift in a category.
A shift functor on a category is an autoequivalence usually written , together with coherent iterates for integers . Its inverse is the shift .
For cochain complexes, moves the grading and changes a differential sign according to convention. In a preadditive category, an additive shift preserves addition and zero in every morphism group. Shifted objects supply the fourth vertex of a triangle.
Let be categories.
A functor is an equivalence of categories if there exists a functor and natural isomorphisms
In this case is called a quasi-inverse (or weak inverse) of , and we say and are equivalent.
A category is preadditive if every morphism set is an abelian group and composition is bilinear:
In particular, there is a zero morphism between every ordered pair of objects.
An additive category is a preadditive category with finite biproducts. Preadditivity supplies the sums and signs used in complexes and distinguished triangles.
In a category with a shift functor , a triangle is a diagram
A morphism of triangles is a triple of morphisms between corresponding objects that makes all three resulting squares commute, including the square involving the shifted first object.
Rotating the triangle moves to the first position and produces , with a convention-dependent minus sign on the final map. A chosen subclass may be declared distinguished.