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_*`

, `f_!`

, their adjoints `f^*`

, `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?".