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

DOI10.1016/0022-4049(87)90108-3zbMath0627.20031OpenAlexW2038638040MaRDI 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

Varieties and pseudovarieties of semigroups (20M07) Quasivarieties (08C15) Products, amalgamated products, and other kinds of limits and colimits (08B25) Partial algebras (08A55) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (only showing first 100 items - show all)

ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS ⋮ 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 ⋮ Semigroups whose idempotents form a subsemigroup ⋮ SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS ⋮ SOLVABLE MONOIDS WITH COMMUTING IDEMPOTENTS ⋮ Undecidability of the identity problem for finite semigroups ⋮ Varieties of finite categories ⋮ Unnamed Item ⋮ On semidirectly closed pseudovarieties of finite semigroups and monoids ⋮ Locality and Centrality: The Variety ZG ⋮ On quasi-F-orthodox semigroups ⋮ Cross-connections and variants of the full transformation semigroup ⋮ An effective lower bound for group complexity of finite semigroups and automata ⋮ The product of rational languages ⋮ Catégories et langages de dot-depth un ⋮ On semidirectly closed non-aperiodic pseudovarieties of finite monoids ⋮ Semidirect products of regular semigroups ⋮ THE LATTICE OF VARIETIES OF STRICT LEFT RESTRICTION SEMIGROUPS ⋮ Reversible Regular Languages: Logical and Algebraic Characterisations ⋮ The Karoubi envelope of the mirage of a subshift ⋮ THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$ ⋮ IDEMPOTENT POINTLIKE SETS ⋮ MONOIDS AND COMPUTATIONS ⋮ SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS ⋮ AROUND DOT-DEPTH ONE ⋮ On semidirectly closed pseudovarieties of aperiodic semigroups ⋮ SC-hyperdecidability of $\mathbf R$ ⋮ On dot-depth two ⋮ THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$ ⋮ Monoid kernels and profinite topologies on the free Abelian group ⋮ The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin ⋮ Imre Simon: an exceptional graduate student ⋮ How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study ⋮ On the equation ${\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}$ ⋮ VARIETIES OF LEFT RESTRICTION SEMIGROUPS ⋮ Unnamed Item ⋮ Semidirect product with an order-computable pseudovariety and tameness. ⋮ On $F$-inverse covers of finite-above inverse monoids. ⋮ The geometry of profinite graphs with applications to free groups and finite monoids ⋮ All about unambiguous polynomial closure ⋮ Representation theory of finite semigroups, semigroup radicals and formal language theory ⋮ Positive semidefinite maps on $*$-semigroupoids and linearisations ⋮ The regular languages of first-order logic with one alternation ⋮ Gaps in the Categories of Finite Directed and Finite Transitive Graphs ⋮ On Pointlike Sets and Joins of Pseudovarieties ⋮ From relation to emulation and interpretation: computer algebra implementation of the covering lemma for finite transformation semigroups ⋮ Sectional algebras of semigroupoid bundles ⋮ CATEGORIES AS ALGEBRA, II ⋮ COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY ⋮ The Power of Programs over Monoids in DA ⋮ PROPER WEAKLY LEFT AMPLE SEMIGROUPS ⋮ A new proof of the locality of R ⋮ On the hyperdecidability of semidirect products of pseudovarieties ⋮ THE BLOCK PRODUCT OF C-VARIETIES: COMPARING APPROACHES ⋮ HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS ⋮ UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS ⋮ Unnamed Item ⋮ Varieties of completely regular semigroups generated by Mal'cev products ⋮ Pointlike sets and separation: a personal perspective ⋮ Automatic semigroups and categories. ⋮ About the power pseudovariety $\mathbf{PCS}$ ⋮ On the Cantor-Dedekind property of the Tilson order on categories and graphs ⋮ Pointlike sets for varieties determined by groups ⋮ Cohomological results in monoid and category theory via classifying spaces ⋮ Subsemigroups and complexity via the presentation lemma ⋮ Locally trivial categories and unambiguous concatenation ⋮ Algorithmic problems for finite groups and finite $0$-simple semigroups ⋮ $E$-free objects and $E$-locality for completely regular semigroups ⋮ Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras ⋮ Semigroups and languages of dot-depth two ⋮ Two algebraic approaches to variants of the concatenation product ⋮ The synthesis theorem for finite regular semigroups, and its generalization ⋮ Left restriction monoids from left $E$-completions ⋮ 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 ⋮ E-unitary inverse monoids and the Cayley graph of a group presentation ⋮ Profinite categories and semidirect products ⋮ Inverse monoids of dot-depth two ⋮ Alternation Hierarchies of First Order Logic with Regular Predicates ⋮ Étale inverse semigroupoids: elementary properties, universal constructions and duality ⋮ Representation theory of order-related monoids of partial functions as locally trivial category algebras ⋮ The Schützenberger category of a semigroup. ⋮ A generalization of the first Malcev theorem on nilpotent semigroups and nilpotency of the wreath product of semigroups. ⋮ An upper bound for the power pseudovariety $\mathbf{PCS}$. ⋮ Iterated periodicity over finite aperiodic semigroups ⋮ The kernel of monoid morphisms ⋮ On κ-reducibility of pseudovarieties of the form V ∗D ⋮ On the lattice of subvarieties of the wreath product of the variety of semilattices and the variety of semigroups with zero multiplication ⋮ On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties. ⋮ The wreath product of atoms of the lattice of semigroup varieties ⋮ Covers for monoids. ⋮ Semidirectly closed pseudovarieties of locally trivial semigroups

Cites Work

This page was built for publication: Categories as algebra: An essential ingredient in the theory of monoids