Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
categorical algebra (Topic)

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

  • Thus, ultimately, since categories are interpretations of the axiomatic theories of abstract category (ETAC), so are categorical algebras.

    The general definition of representation introduced above can be still further extended by introducing supercategorical algebras as interpretations of ETAS, as explained next.

  • Mac Lane (1976) wrote in his Bull. AMS review cited here as a verbatim quotation:

    “On some occasions I have been tempted to try to define what algebra is, can, or should be - most recently in concluding a survey [72] on Recent advances in algebra. But no such formal definitions hold valid for long, since algebra and its various subfields steadily change under the influence of ideas and problems coming not just from logic and geometry, but from analysis, other parts of mathematics, and extra mathematical sources. The progress of mathematics does indeed depend on many interlocking, unexpected and multiform developments.”

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): {\rm 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 {\rm 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.



"categorical algebra" is owned by bci1.

View style:

See Also: index of categories, algebraic category of LMn -logic algebras, index of algebraic topology

Other names:  algebraic categories
Also defines:  algebraic representation, functor representation, representable functor, category of algebraic structures, algebraic category, category of logic algebras
Keywords:  extensions of categorical algebra, algebraic category of -logic algebras, non-Abelian structures, abelian category, supplemental axioms for an Abelian category, higher dimensional generalized Van Kampen theorems (HD-VKT), axiomatic theory of supercategories and metacategories, categorical quantum logics as quantum LM-algebraic logic, non-commuting graph, non-Abelian structures, topic entry on foundations of mathematics, topic on algebra classification, algebraic categories and classes of algebras, representable functor, R-supercategories, homotopy groupoids and crossed complexes: non-commutative structures in higher dimensional algebra (HDA), index of categories

Cross-references: groupoid, algebraic, object, Alexander Grothendieck, linear operator, Hilbert space, morphism, ETAS, ETAC, theories of abstract category, group, concept, commutative ring, natural transformations, functors, categories, representations, algebraic structures, field
There are 30 references to this object.

This is version 6 of categorical algebra, born on 2009-01-31, modified 2010-02-12.
Object id is 459, canonical name is CategoricalAlgebra.
Accessed 2347 times total.

Classification:
Physics Classification: 00. (GENERAL)
 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
 03.65.Fd (Algebraic methods )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "