# finitary algebraic category in a sentence

- In the context of category theory, a variety of algebras is usually called a "'
*finitary algebraic category* " '. - Here, a variety is a synonym for a
*finitary algebraic category*, thus implying that the set of relations are monadic over "'Set " '. - 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. - It's difficult to find
*finitary algebraic category* in a sentence.