A Category of Concrete Monoids


Andrew Solomon


Research Report 96-7
Date: February 1996, revised April 1996


A concrete monoid over a category C is a subset of the endomorphisms of an object of C, containing the identity and closed under composition. To contrast, an abstract monoid is just a one object category.

There is a natural notion of morphism between concrete monoids distinct from the usual morphism of abstract monoids. This type of morphism is identified via an example, and then defined, giving rise to the category of concrete monoids over C.

The utility of these definitions is explored via applications to the Theories of Semigroups, Matrices, Vines and Automata. With these definitions, it is possible for the first time to make the action monoid construction into a functor whose domain is the usual category of automata.

Key phrases

monoid. category. concrete. semigroup. automata. vine. matrices. regular category. bicategory. relation. division. filter.


The paper is available in the following forms:
1996-07.ps.gz (151kB) or 1996-07.ps (732kB)

To minimize network load, please choose the smaller gzipped .gz form if and only if your browser client supports it.

Sydney Mathematics and Statistics