scientific article; zbMATH DE number 149414

MaRDI QIDQ4032250zbMATH OpenFDO

Authors

Publication date 1 April 1993

Full work available at URL https://eudml.org/doc/193042

zbMATH Keywords

adjoint functorminimal realizationmany-sorted algebramany-sorted theoryunit of an adjunction

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Subalgebras, congruence relations (08A30) Free algebras (08B20) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Applications of universal algebra in computer science (08A70)

Recommendations

• On the preservation of the properties of many-sorted algebraic systems
• Many-sorted and single-sorted algebras
• On the directly and subdirectly irreducible many-sorted algebras.
• scientific article; zbMATH DE number 24749
• scientific article; zbMATH DE number 2053035
• A note on pervasive algebras
• Hyperidentities in many-sorted algebras
• Non-deterministic hyperidentities in many-sorted algebras
• Permanence properties for crossed products and fixed point algebras of finite groups
• Permanence of weak comparison for large subalgebras

Cited in

(2)

• Reflections and powers of multisorted minions
• scientific article; zbMATH DE number 2154585 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032250)