Free Universal Algebras
Let be any set, let be an algebraic structure of type generated by . Let the underlying set of this algebraic structure, sometimes called universe, be, and let be a function. We say that, (or informally just ) is a free algebra (of type ) on the set of free generators if, for every algebra of type and function, where is a universe of, there exists a unique homomorphism such that .
Read more about this topic: Free Object
Famous quotes containing the words free and/or universal:
“It is among the ranks of school-age children, those six- to twelve-year-olds who once avidly filled their free moments with childhood play, that the greatest change is evident. In the place of traditional, sometimes ancient childhood games that were still popular a generation ago, in the place of fantasy and make- believe play . . . today’s children have substituted television viewing and, most recently, video games.”
—Marie Winn (20th century)
“I had rather believe all the fables in the Legend, and the Talmud, and the Alcoran, than that this universal frame is without a Mind; and, therefore, God never wrought miracle to convince atheism, because his ordinary works convince it.”
—Francis Bacon (1561–1626)