A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
نویسندگان
چکیده
منابع مشابه
Algebraic and logical descriptions of generalized trees
Quasi-trees generalize trees in that the unique “path” between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound of the rank-widths of its finite induced subgraphs. Join-trees are the corresponding directed trees. They are useful to define the modular decomposition of a...
متن کاملQuasi-Varieties, Congruences, and Generalized Dowling Lattices
Dowling lattices and their generalizations introduced by Hanlon are interpreted as lattices of congruences associated to certain quasi-varieties of sets with group actions. This interpretation leads, by a simple application of Mobius inversion, to polynomial identities which specialize to Hanlon's evaluation of the characteristic polynomials of generalized Dowling lattices. Analogous results ar...
متن کاملAlgebraic Cocycles on Normal, Quasi-Projective Varieties
Blaine Lawson and the author introduced algebraic cocycles on complex algebraic varieties in [FL-1] and established a duality theorem relating spaces of algebraic cocycles and spaces of algebraic cycles in [FL-2]. This theorem has non-trivial (and perhaps surprising) applications in several contexts. In particular, duality enables computations of “algebraic mapping spaces” consisting of algebra...
متن کاملAdjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.
For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of Hom-tensor relations have been st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2018
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2018.47