A 2-categorical Framework For The Syntax And Semantics Of Many-sorted Equational Logic
Juan Climent Vidal, J. Soliveres Tur · Reports on Mathematical Logic · 2010
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 equivalen