PL EN


Preferences help
enabled [disable] Abstract
Number of results
2010 | 45 |
Article title

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

Content
Title variants
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
Year
Volume
45
Physical description
Dates
published
2010
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2010-volume-45-article-2864
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.