Categories as algebra: An essential ingredient in the theory of monoids

DOI10.1016/0022-4049(87)90108-3zbMath0627.20031MaRDI QIDQ581545

Publication date: 1987

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(87)90108-3

zbMATH Keywords

kernel; membership problem; endomorphism monoid; finite monoids; products of varieties; algebraic theory of finite categories; Birkhoff-type theorem; division of categories; finite partial semigroups; pseudovariety of monoids; varieties of finite categories

Mathematics Subject Classification ID

20M07: Varieties and pseudovarieties of semigroups

08C15: Quasivarieties

08B25: Products, amalgamated products, and other kinds of limits and colimits

08A55: Partial algebras

20L05: Groupoids (i.e. small categories in which all morphisms are isomorphisms)

18B40: Groupoids, semigroupoids, semigroups, groups (viewed as categories)

Related Items

Semidirect products of regular semigroups, The geometry of profinite graphs with applications to free groups and finite monoids, CATEGORIES AS ALGEBRA, II, PROPER WEAKLY LEFT AMPLE SEMIGROUPS, THE BLOCK PRODUCT OF C-VARIETIES: COMPARING APPROACHES, HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS, UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS, SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS, THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$, IDEMPOTENT POINTLIKE SETS, MONOIDS AND COMPUTATIONS, THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$, The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin, Imre Simon: an exceptional graduate student, Gaps in the Categories of Finite Directed and Finite Transitive Graphs, On Pointlike Sets and Joins of Pseudovarieties, ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS, An upper bound for the power pseudovariety $\mathbf{PCS}$., Infinite iteration of matrix semigroups. II: Structure theorem for arbitrary semigroups up to aperiodic morphism, Standard automata and semidirect products of transformation semigroups, Monoid varieties defined by $x^{n+1}=x$ are local, Two algebraic approaches to variants of the concatenation product, The kernel of monoid morphisms, Semidirectly closed pseudovarieties of locally trivial semigroups, A note on the power semigroup of a completely simple semigroup., Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types, Description of zero divisors in the monoid of semigroup varieties under the wreath product., Infinite-vertex free profinite semigroupoids and symbolic dynamics., On the Cantor-Dedekind property of the Tilson order on categories and graphs, Locally trivial categories and unambiguous concatenation, Semigroups and languages of dot-depth two, The synthesis theorem for finite regular semigroups, and its generalization, E-unitary inverse monoids and the Cayley graph of a group presentation, Inverse monoids of dot-depth two, Semigroups and ordered categories. I: The reduced case, On iterated semidirect products of finite semilattices, Two-sided wreath product of categories, Regular languages in $NC$, Local varieties of completely regular monoids, Bilateral semidirect products of transformation semigroups, On a conjecture concerning dot-depth two languages, Games, equations and dot-depth two monoids, Type-II conjecture is true for finite $\mathcal J$-trivial monoids, Some results on the dot-depth hierarchy, Semidirect products of pseudovarieties from the universal algebraist's point of view, The semilattices of nilextensions of left groups and their varieties, Associativity of products of existence varieties of regular semigroups, Semigroup expansions using the derived category, kernel, and Malcev products, Constructing inverse semigroups from category actions, Rees matrix covers and semidirect products of regular semigroups, Varieties of completely regular semigroups generated by Mal'cev products, Algorithmic problems for finite groups and finite $0$-simple semigroups, Profinite categories and semidirect products, On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties., Covers for monoids., Games, equations and the dot-depth hierarchy, Decomposition techniques for finite semigroups, using categories. II, Cohomological results in monoid and category theory via classifying spaces, Subsemigroups and complexity via the presentation lemma, $E$-free objects and $E$-locality for completely regular semigroups, Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras, Locality of DS and associated varieties, Operators and products in the lattice of existence varieties of regular semigroups, From relation to emulation: The covering lemma for transformation semigroups, Profinite categories, implicit operations and pseudovarieties of categories, Inclusion relations between some congruences related to the dot-depth hierarchy, A generalization of the first Malcev theorem on nilpotent semigroups and nilpotency of the wreath product of semigroups., The $\mathbf G$-exponent of a pseudovariety of semigroups, On the power pseudovariety $\mathbf{PCS}$., On non-commuting sets in finite soluble CC-groups., Finite semigroup varieties of the form V*D, The geometric theory of inverse semigroups. I: E-unitary inverse semigroups, Automatic semigroups and categories., Iterated periodicity over finite aperiodic semigroups, John Rhodes and the theory of finite semigroups., The structure of finite monoids satisfying the relation $\mathcal R=\mathcal H$., On the pseudovariety generated by all finite monoids satisfying $\mathcal R=\mathcal H$., Constructing divisions into power groups, On $F$-inverse covers of inverse monoids., Finite state automata: A geometric approach, Alternation Hierarchies of First Order Logic with Regular Predicates, Semigroups whose idempotents form a subsemigroup, ON ITERATED MAL'CEV PRODUCTS WITH A PSEUDOVARIETY OF GROUPS, On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids, Free Burnside Semigroups, The wreath product of atoms of the lattice of semigroup varieties, A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS, BRET TILSON: HIS LIFE AND WORK, WHAT ARE MODULES? AN OVERVIEW OF BRET TILSON'S PAPER "MODULES" FROM A GEOMETRIC VIEWPOINT, MODULES, ON THE DECIDABILITY OF MEMBERSHIP IN THE GLOBAL OF A MONOID PSEUDOVARIETY, STABLE PAIRS, A PROFINITE APPROACH TO STABLE PAIRS, A STRUCTURAL APPROACH TO THE LOCALITY OF PSEUDOVARIETIES OF THE FORM LH ⓜ V, WEAKLY ITERATED BLOCK PRODUCTS AND APPLICATIONS TO LOGIC AND COMPLEXITY, Representation theory of finite semigroups, semigroup radicals and formal language theory, Varieties of finite categories, Catégories et langages de dot-depth un, Undecidability of the identity problem for finite semigroups, On the hyperdecidability of semidirect products of pseudovarieties, INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY, THE SEMIDIRECTLY CLOSED PSEUDOVARIETY GENERATED BY APERIODIC BRANDT SEMIGROUPS, PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS, PROFINITE METHODS IN SEMIGROUP THEORY, COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY, LOCAL GROUPS IN FREE GROUPOIDS SATISFYING CERTAIN MONOID IDENTITIES, On quasi-F-orthodox semigroups, SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS, AROUND DOT-DEPTH ONE, Monoid kernels and profinite topologies on the free Abelian group, A new proof of the locality of R, SOLVABLE MONOIDS WITH COMMUTING IDEMPOTENTS, An effective lower bound for group complexity of finite semigroups and automata, COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY, On semidirectly closed pseudovarieties of aperiodic semigroups, SC-hyperdecidability of $\mathbf R$, On dot-depth two, On the equation ${\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}$, Semidirect product with an order-computable pseudovariety and tameness., Semigroups whose idempotents form a subsemigroup

Cites Work