On essential variables of dual operations and the consequences for operations
Tóm tắt
We investigate essential variables of dual operations (or co-operations) in a rather general category-theoretic setting. During this investigation, we collect some results about the essential arities and arity gaps of dual operations in concrete categories. Afterwards, we use duality theory to show that this approach and the obtained results can also be beneficial for questions regarding essential variables of operations on sets.
Tài liệu tham khảo
Clark, D. M., Davey, B. A.: Natural Dualities for the Working Algebraist. Cambridge studies in advanced mathematics, vol. 57, Cambridge University Press, Cambridge (1998)
Couceiro, M., Lehtonen, E., Waldhauser, T.: A Survey on the Arity Gap. In: Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on, pp. 277–281 (2011)
Csákány B.: Completeness in coalgebras. Acta Sci. Math. 48, 75–84 (1985)
Davey B. A.: Natural dualities for structures. Acta Univ. M. Belii Ser. Math. 13, 3–28 (2006)
Grätzer, G., Kisielewicz, A.: A survey of some open problems on p n -sequences and free spectra of algebras and varieties. In: Universal algebra and quasigroup theory (Jadwisin, 1989), Res. Exp. Math., vol. 19, pp. 57–88, Heldermann, Berlin (1992)
Hofmann D.: A generalization of the duality compactness theorem. J. Pure Appl. Algebra 171, 205–217 (2002)
Isbell J.: Median algebras. Trans. Amer. Math. Soc. 260, 319–362 (1980)
Kerkhoff, S., The essential arity of clones over algebras. In: Contributions to general algebra, vol. 16, pp. 139–149, Heyn, Klagenfurt (2010)
Kerkhoff, S.: A general duality theory for clones. PhD thesis, Technische Universität Dresden (2011)
Mašulović D.: On dualizing clones as Lawvere theories. Internat. J. Algebra Comput. 16, 675–687 (2006)
Priestley H. A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2, 186–190 (1970)
Salomaa, A.: On essential variables of functions, especially in the algebra of logic. Ann. Acad. Sci. Fenn. Ser. A I No. 339, 11 p. (1963)
Sichler J., Trnková V.: Essential operations in centralizer clones. Algebra Universalis 59, 277–301 (2008)
Stone, M.H.: Topological representations of distributive lattices and Brouwerian logics. Časopis Pěst. Mat. 67, 1–25 (1937)
Willard R.: Essential arities of term operations in finite algebras. Discrete Math. 149, 239–259 (1996)