Representation theory of Goguen categories

Goguen categories constitute a suitable algebraic formalisation for <f>L</f>-fuzzy relations. It is well-known that an <f>L</f>-fuzzy relation may be represented by the set of all its <f>α</f>-cuts. The aim of this paper is to show a similar result for Goguen categories. Furthermore, given an algebraic structure of relations, a Dedekind category <f>R</f>, and a complete Brouwerian lattice <f>L</f>, the idea above allows us to define a Goguen category <f>G</f> such that the underlying structures are <f>R</f> and <f>L</f>. Using our pseudo-representation theorem we show that the representation theory of Goguen categories is equivalent to the representation theory of simple Dedekind categories. This result allows us to transfer known representation results for Dedekind categories to the theory of Goguen categories. [Copyright &y& Elsevier]