categorical algebra

An Outline of Categorical Algebra

This topic entry provides an outline of an important mathematical field called categorical algebra; although specific definitions are in use for various applications of categorical algebra to specific algebraic structures, they do not cover the entire field. In the most general sense, categorical algebras- as introduced by Mac Lane in 1965 - can be described as the study of representations of algebraic structures, either concrete or abstract, in terms of categories, functors and natural transformations.

In a narrow sense, a categorical algebra is an associative algebra, defined for any locally finite category and a commutative ring with unity. This notion may be considered as a generalization of both the concept of group algebra and that of an incidence algebra, much as the concept of category generalizes the notions of group and partially ordered set.

Extensions of Categorical Algebra

Basic Definitions

An algebraic representation is generally defined as a morphism $ \rho$ from an abstract algebraic structure $ \mathcal{A}_S$ to a concrete algebraic structure $ A_c$ , a Hilbert space $ \mathcal{H}$ , or a family of linear operator spaces.

The key notion of representable functor was first reported by Alexander Grothendieck in 1960.

Definition 0.1   Thus, when the latter concept is extended to categorical algebra, one has a representable functor $ S$ from an arbitrary category $ \mathcal{C}$ to the category of sets $ Set$ if $ S$ admits a functor representation defined as follows. A functor representation of $ S$ is defined as a pair, $ ({R}, \phi)$ , which consists of an object $ R$ of $ \mathcal{C}$ and a family $ \phi$ of equivalences $ \phi (C): \Hom_{\mathcal{C}}(R,C) \cong S(C)$ , which is natural in C, with C being any object in $ \mathcal{C}$ . When the functor $ S$ has such a representation, it is also said to be represented by the object $ R$ of $ \mathcal{C}$ . For each object $ R$ of $ \mathbf{C}$ one writes $ h_{R}: \mathcal{C} {\longrightarrow}Set$ for the covariant $ {\rm Hom}$ -functor $ h_{R}(C)\cong \Hom_{\mathcal{C}}(R,C)$ . A representation $ (R, \phi)$ of $ {S}$ is therefore a natural equivalence of functors:

$\displaystyle \phi: h_{R} \cong {S}~.$ (0.1)

Remark 0.1   The equivalence classes of such functor representations (defined as natural equivalences) directly determine an algebraic (groupoid) structure.

Bibliography

1
Saunders Mac Lane: Categorical algebra., Bull. AMS, 71 (1965), 40-106., Zbl 0161.01601, MR 0171826,

2
Saunders Mac Lane: Topology and Logic as a Source of Algebras., Bull. AMS, 82, Number 1, 1-36, January 1, 1976.



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.