Categories as algebra: An essential ingredient in the theory of monoids (Q581545): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 08:28, 30 January 2024

scientific article
Language Label Description Also known as
English
Categories as algebra: An essential ingredient in the theory of monoids
scientific article

    Statements

    Categories as algebra: An essential ingredient in the theory of monoids (English)
    0 references
    0 references
    1987
    0 references
    The purpose of this extensive paper is to present an elaborate algebraic theory of finite categories (with finitely many objects and morphisms). Finite categories are finite partial semigroups satisfying some natural axioms. The paper shows convincingly that for theoretical purposes it is much better to keep them partial, instead of yielding to the easy temptation of the completion by a garbage zero. Among various topics the paper deals with in detail we find a generalization to finite categories of the notion ``monoid K divides monoid M'', or of the notion of a pseudovariety of monoids, including a Birkhoff-type theorem for varieties of finite categories and a description of the smallest no-trivial variety. For a homomorphism \(f: M\to N\) of finite monoids, a certain finite category derived from M is suggested as its kernel, on ground that in case of groups it coincides with the ordinary kernel of a group homomorphism. Completely described are the finite categories which are locally trivial, i.e. such that for each object the endomorphism monoid is trivial. A remarkable application of the notion of division of categories is given to the membership problem for products of varieties.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    algebraic theory of finite categories
    0 references
    finite partial semigroups
    0 references
    pseudovariety of monoids
    0 references
    Birkhoff-type theorem
    0 references
    varieties of finite categories
    0 references
    finite monoids
    0 references
    kernel
    0 references
    endomorphism monoid
    0 references
    division of categories
    0 references
    membership problem
    0 references
    products of varieties
    0 references