Some uniform categorical theoretical treatment of automata and lattice-valued fuzzy automata using quantale theory is studied in this paper. First, L-relational sheaves on a monoidM andQ-enriched categories are introduced for quantales L andQ, the equivalence of the corresponding categories are proved next. Then lattice-valued (fuzzy) automata are described by Q-enriched categories. In fact, la...

In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain most of the important features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to finite t...

We investigate the problem when tensor functor by a bimodule yields singular equivalence. It turns out that this is equivalent to one Hom given same induces triangle equivalence between homotopy categories of acyclic complexes injective modules. give conditions on appears in pair bimodules, defines with level. construct an explicit combinatorial manner, which quadratic monomial algebra and its ...

We prove that the shifted vanishing cycles and nearby cycles commute with Verdier dualizing up to a natural isomorphism, even when the coefficients are not in a field.