Esta pregunta viene (fuertemente editado) de mis notas, así un poco inusual estructura.
Sabemos que algebraicas mapas muy estrictos estructura, y en muchos de los ajustes de las operaciones f_*, f_!, su adjoints f^*, f^!, bioperations ⊗ y => así como la dualidad D se comportan bien. En que satisfacen (cada vez definido) algunas buenas identidades, especialmente para la correcta morfismos.
Hay sutilezas en los siguientes casos:
caso Z: edificable poleas
:=(finito) sistemas locales (finitely) pegado ...caso O: coherente poleas
:=finitely generado Omódulos ...caso D: (D-módulos) holonomic
:='número de ecuaciones es justo' ...
Pregunta: me pregunto si hay otras gavillas de no-álgebras conmutativas de la cual podemos definir las operaciones y de la dualidad? Es decir, es posible continuar con esta lista con otro "caso ?".
