This question comes (heavily edited) from my notes, thus slightly unusual structure.
We know that algebraic maps have very strict structure, and in many settings the operations
f_!, their adjoints
f^!, bioperations ⊗ and
=> as well as duality
D behave well. They satisfy (whenever defined) some good identities, especially for proper morphisms.
There are specific subtleties in the following cases:
case Z: constructible sheaves
:=(finite) local systems (finitely) glued ...
case O: coherent sheaves
:=finitely generated O-modules ...
case D: (D-modules) holonomic
:='number of equations is just right' ...
Question: I wonder if there are other sheaves of non-commutative algebras for which we can define operations and duality? That is, is it possible to continue this list with another "case ?".