Profinite categories, implicit operations and pseudovarieties of categories

DOI10.1016/0022-4049(95)00074-7zbMath0852.18005OpenAlexW2039274884MaRDI QIDQ1916401

Peter R. Jones

Publication date: 1 December 1996

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(95)00074-7

zbMATH Keywords

free algebraimplicit operationspseudovarietiesfinite categoriesprofinite categorieslanguagesfree categorypseudo-identitiessemigroupoidsalgebras over graphsprofinite monoids

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Structure of topological semigroups (22A15) Connections of semigroups with homological algebra and category theory (20M50) Limits, profinite groups (20E18) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items

PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS ⋮ PROFINITE METHODS IN SEMIGROUP THEORY ⋮ Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts. ⋮ Profinite categories and semidirect products ⋮ A NOTE ON PSEUDOVARIETIES OF COMPLETELY REGULAR SEMIGROUPS ⋮ A geometric interpretation of the Schützenberger group of a minimal subshift ⋮ THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$ ⋮ SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS ⋮ 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 ⋮ On the equation \({\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}\) ⋮ Semidirect product with an order-computable pseudovariety and tameness. ⋮ Infinite-vertex free profinite semigroupoids and symbolic dynamics. ⋮ On Pointlike Sets and Joins of Pseudovarieties ⋮ Profinite Monads, Profinite Equations, and Reiterman’s Theorem ⋮ Bases for pseudovarieties closed under bideterministic product ⋮ HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories as algebra: An essential ingredient in the theory of monoids
• Monoid varieties defined by \(x^{n+1}=x\) are local
• The Birkhoff theorem for varieties of finite algebras
• Profinite groups and Boolean graphs
• The Birkhoff theorem for finite algebras
• An algebraic proof that pseudovarieties are defined by pseudoidentities
• Local varieties of completely regular monoids
• Locality of DS and associated varieties
• Graph congruences and wreath products
• Catégories et langages de dot-depth un
• A Conjecture on the Hall Topology for the Free Group
• On The Profinite Topology on a Free Group