Category Theory
If A is a finitary algebraic category, then the forgetful functor
is monadic. Even more, it is strictly monadic, in that the comparison functor
is an isomorphism (and not just an equivalence). Here, is the Eilenberg–Moore category on . In general, one says a category is an algebraic category if it is monadic over . This is a more general notion than "finitary algebraic category" (the notion of "variety" used in universal algebra) because it admits such categories as CABA (complete atomic Boolean algebras) and CSLat (complete semilattices) whose signatures include infinitary operations. In those two cases the signature is large, meaning that it forms not a set but a proper class, because its operations are of unbounded arity. The algebraic category of sigma algebras also has infinitary operations, but their arity is countable whence its signature is small (forms a set).
Read more about this topic: Variety (universal Algebra)
Famous quotes containing the words category and/or theory:
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)
“We have our little theory on all human and divine things. Poetry, the workings of genius itself, which, in all times, with one or another meaning, has been called Inspiration, and held to be mysterious and inscrutable, is no longer without its scientific exposition. The building of the lofty rhyme is like any other masonry or bricklaying: we have theories of its rise, height, decline and fall—which latter, it would seem, is now near, among all people.”
—Thomas Carlyle (1795–1881)