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:
“My job as a reservationist was very routine, computerized ... I had no free will. I was just part of that stupid computer.”
—Beryl Simpson, U.S. employment counselor; former airline reservationist. As quoted in Working, book 2, by Studs Terkel (1973)
“The appetite for power, even for universal power, is only insane when there is no possibility of indulging it; a man who sees the possibility opening before him and does not try to grasp it, even at the risk of destroying himself and his country, is either a saint or a mediocrity.”
—Simone Weil (1909–1943)