# Sheaves and Duality

## TL;DR

This paper generalizes the connection between sheaf representations and congruence lattices in universal algebra, establishing a duality with frame homomorphisms and extending dualization to distributive-lattice-ordered algebras.

## Contribution

It provides a generalization and a converse of the known sheaf representation correspondence, linking sheaf representations with frame homomorphisms in a broader context.

## Key findings

- Established a one-to-one correspondence between sheaf representations and frame homomorphisms.
- Extended dualization of sheaf representations to distributive-lattice-ordered algebras.
- Proved a converse of the generalized sheaf representation fact.

## Abstract

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 generalisation of this fact and prove a converse of the generalisation. 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.