A 2-Categorical Framework for the Syntax and Semantics of Many-Sorted Equational Logic

• Authors: Juan Climent Vidal , Juan Soliveres Tur
• Languages of publication: PL

Abstracts

PL

For, not necessarily similar, single-sorted algebras Fujiwara defined, through the concept of family of basic mappingformulas between single-sorted signatures, a notion of morphism which generalizes the ordinary notion of homomorphism between algebras. Subsequently he also defined an equivalence relation, the relation of conjugation, on the families of basic mapping-formulas. In this article we extend the theory of Fujiwara to the, not necessarily similar, many-sorted algebras, by defining the concept of polyderivor between many-sorted signatures under which are subsumed the standard signature morphisms, the derivors of Goguen-Thatcher-Wagner, and the basic mapping-formulas of Fujiwara.

Keywords

PL

• Publisher: [unknown2]
• Journal: Reports on Mathematical Logic
• Year: 2010
• Volume: 45

Dates

published

2010

online

07 - 07 - 2015

Contributors

author

Juan Climent Vidal

author

Juan Soliveres Tur