initial algebra
initial algebra An algebra A, from some class of algebras C, such that for every algebra B in C there is a unique homomorphism from A to B. Such an algebra is said to be initial in the class C or, more precisely, initial in the category that has all the algebras in C as its objects and all the homomorphisms between them as its morphisms. Depending on the choice of C, there may or may not exist initial algebras; however if any do exist they will all be isomorphic to each other. If C is the class Alg(Σ, E) of all Σ-algebras satisfying a set E of equations or conditional equations, then C has an initial algebra. If the set E is recursive enumerable then the initial algebra is semicomputable.
Initial algebras have importance for the semantics of programming languages, abstract data types, and algebraic specifications. Of particular significance is the fact that, in the class of all Σ-algebras for a given signature Σ, an initial algebra is given by the terms or trees over Σ; this is often called the term algebra for Σ.
Initial algebras have importance for the semantics of programming languages, abstract data types, and algebraic specifications. Of particular significance is the fact that, in the class of all Σ-algebras for a given signature Σ, an initial algebra is given by the terms or trees over Σ; this is often called the term algebra for Σ.
More From encyclopedia.com
Initiation , Initiation is a ritual practice that transcends historical and cultural boundaries. Initiation rituals often rely on sex and sexual imagery to serve… INITIAL , INITIAL, also initial letter, point.
1. The first LETTER of a WORD, usually capitalized in a proper NAME: the L of London, the G, B, S of George Bern… Initiative , INITIATIVE, the process by which citizens, rather than legislators, propose statutes or constitutional amendments and place them before voters for ap… Initial Strontium Ratio , initial strontium ratio (common strontium) Strontium has four naturally occurring isotopes: 88Sr; 87Sr; 86Sr; and 84Sr. Of these, 87Sr is perhaps the… ESSI Acronym for European Systems and Software Initiative. , ESSI Acronym for European Systems and Software Initiative. Acronym for European Systems and Software Initiative. A program of technology transfer and… Stretch Reflex , stretch reflex (myotatic reflex) The reflex initiated when a muscle is stretched; an example is the knee-jerk reflex. Stretching of a muscle causes i…
You Might Also Like
NEARBY TERMS
initial algebra