Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a functorial presentation of various categories of multi-algebras and partial algebras, analogous to the classical presentation of algebras over a signature Sigma as cartesian functors from the algebraic theory of Sigma, Th(Sigma), to Set. The functors we introduce are based on variations of the notion of theory, having a structure weaker than cartesian, and their target is Rel, the category of sets and relations. We argue that this functorial presentation provides an original abstract syntax for partial and multi-algebras.

Functorial semantics for multi-algebras

CORRADINI, ANDREA;GADDUCCI, FABIO
1998-01-01

Abstract

Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a functorial presentation of various categories of multi-algebras and partial algebras, analogous to the classical presentation of algebras over a signature Sigma as cartesian functors from the algebraic theory of Sigma, Th(Sigma), to Set. The functors we introduce are based on variations of the notion of theory, having a structure weaker than cartesian, and their target is Rel, the category of sets and relations. We argue that this functorial presentation provides an original abstract syntax for partial and multi-algebras.
1998
3540662464
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/49706
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact