trivial algebra

Trivial algebras


Every algebraic category (in just about any sense of the term) has a terminal object which is usually called the trivial algebra, often denoted 00 or 11. Its underlying set is a singleton, and every algebraic operation 1 n11^n \to 1 is the unique function to the singleton set.


Created on September 4, 2010 19:16:36 by Toby Bartels (