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

https://doi.org/10.1016/0022-4049(87)90108-3Get rights and content
Under an Elsevier user license
open archive

Abstract

The study of categories as generalized monoids is shown to be essential to the understanding of monoid decomposition theory. A new ordering for categories, called division, is introduced which allows useful comparison of monoids and categories. Associated with every morphism ϕ: MN is a category Dϕ, called the derived category of ϕ, which encodes the essential information about the morphism. The derived category is shown to be a rightful generalization of the kernel of a group morphism.

Collections of categories that admit direct products and division are studied. Called varieties, these collections are shown to be completely determined by the path equations their members satisfy. Several important examples are discussed. In a major application, a strong connection is established between category varieties and certain semigroup varieties associated with recognizable languages.

Cited by (0)

Present address: P.O. Box 1789, Sausalito, CA 94966, U.S.A.