S.J. v. Gool
- Sheaves and Duality
- Journal of Pure and Applied Algebra
- Volume | Issue number
- 222 | 8
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representation of the algebra. In this paper we provide a generalization of this fact and prove a converse of the generalization. To be precise, we exhibit a one-to-one correspondence (up to isomorphism) between soft sheaf representations of universal algebras over stably compact spaces and frame homomorphisms from the dual frames of such spaces into subframes of pairwise commuting congruences of the congruence lattices of the universal algebras. For distributive-lattice-ordered algebras this allows us to dualize such sheaf representations.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.