Monoid (category theory)

Monoid (category theory)
Name	Monoid (category theory)
Type	Algebraic structure
Field	Category theory

Monoid (category theory) is an algebraic structure studied within Category theory that consists of a single object category with an associative binary operation and an identity element; it connects abstract algebra, Semigroup theory, and Monoidal category notions. Monoids serve as basic examples in Category theory, link to structures in Algebraic topology, Theoretical computer science, and Representation theory, and provide a bridge to concepts in Homological algebra, Model theory, and Proof theory. They are central in formulating algebraic theories such as Group theory, Ring theory, and module constructions and appear across applied areas including Automata theory, Homotopy theory, Set theory applications, and Programming language semantics.

Definition

A monoid in category-theoretic terms is a one-object category: there is a single object whose endomorphism set forms a monoid under composition with an identity morphism. Equivalently, a monoid object in a Monoidal category (for example in Set, Top, Vect, Ab) is an object M equipped with a multiplication map and a unit map satisfying associativity and unit axioms; these axioms mirror those of group and ring structures. The formalization uses arrows and commutative diagrams central to Eilenberg–MacLane constructions and to axiomatizations in Lawvere theory and Universal algebra.

Examples

Classic instances include the endomorphism monoid End(X) of an object X in Set, the free monoid on a set related to Free group and Free algebra constructions, the monoid of natural numbers (N, +, 0) tied to Peano axioms and Arithmetic, and transformation monoids arising in Automata theory and the theory of semi-automata. In Topology, the loop space ΩX yields a monoid up to homotopy with links to Homotopy group calculations and to H-space theory. Algebraic examples include matrix monoids over fields and monoids of endomorphisms in module categories associated with Noetherian ring properties and Artinian ring contexts. Categorical constructions produce monoids in functor categories, in Presheaf categories, and in enriched settings like V-enriched category theory.

Monoids as Categories

Viewing a monoid as a category with one object connects to classical categorical ideas: objects like Initial object and Terminal object collapse, while morphisms correspond to monoid elements. This perspective aligns with representations via functors to Set (action on a set), linking to Group action analogues and to Representation theory of semigroups. The one-object category viewpoint facilitates embedding monoid theory into broader categorical frameworks such as Adjoint functor theorem contexts and the study of Limits and colimits where monoids can be internalized in limit-preserving settings. It also makes contact with Yoneda lemma techniques for representing elements as natural transformations and with Cayley’s theorem analogues for monoids.

Morphisms and Functors

Morphisms between monoids are monoid homomorphisms, realized categorically as functors between one-object categories that preserve composition and identity. These functors fit into categories like Mon (the category of monoids), parallel to Grp and Ring categories, and admit notions of kernel, image, and exactness when embedded into Abelian category-like settings or via Monoidal category enrichment. Natural transformations between such functors correspond to conjugation-like or centralizer elements in certain contexts, echoing structures in Hom functor discussions and in Natural isomorphism frameworks. Change-of-base and restriction/induction functors for monoid actions mirror constructions in induction and coinduction in Module theory.

Constructions and Properties

Standard constructions include the free monoid functor from Set to Mon, pushouts and coequalizers in Mon producing amalgamated free products, and submonoid, quotient, and direct product operations analogous to those in Group theory. Categorical properties such as completeness, cocompleteness, and presentability are studied via connections to Locally presentable category theory and to Accessible category methods. Monoids admit Green’s relations in semigroup theory, cancellation properties, and idempotent analysis linked to Eilenberg swindle-style phenomena. Enrichment over Top or Metric space yields topological monoids with ties to Lie group generalizations and to structure theorems in Algebraic geometry when considered as monoid schemes.

Monoidal Functors and Natural Transformations

A monoidal functor between monoidal categories preserves monoid objects and induces maps between monoids in different ambient categories, related to Tannaka–Krein duality, Stone duality, and constructions in Tensor category theory. Lax, oplax, and strong monoidal functors give rise to varied notions of morphism between monoid objects, with coherence governed by diagrams akin to those in Mac Lane's coherence theorem discussions. Natural transformations between monoidal functors yield monoidal natural transformations central to Higher category theory, 2-category frameworks, and to the study of monoidal bicategories and Gray-category structures.

Applications and Related Concepts

Monoids appear in Automata theory, Formal language theory, and in the algebraic theory of computation via syntactic monoids and recognizability results linked to Kleene theorem. They underpin algebraic models of computation in Lambda calculus and categorical semantics for Programming language constructs, including monadic effects from monads and adjunction-based semantics from Curry–Howard correspondence-inspired studies. Connections extend to Algebraic topology (loop spaces, operads), Representation theory (semigroup representations), Operator algebra contexts for C*-algebras, and to categorical logic through Lawvere theory and Algebraic theory frameworks. See also interactions with Higher algebra, Infinity-category approaches, and advanced structures like Operad theory and PROPs.

Category:Category theory