# PlanetPhysics/Algebraic Categories and Representations of Classes of Algebras

Jump to navigation
Jump to search

### Introduction[edit | edit source]

Classes of algebras can be categorized at least in two types: either classes of \emph{specific
algebras}, such as: group algebras, K-algebras, groupoid algebras, logic algebras, and so on,
or *general* ones, such as general classes of: categorical algebras, higher dimensional algebra (HDA), supercategorical algebras, universal algebras, and so on.

### Basic concepts and definitions[edit | edit source]

- {\mathbf Class of algebras} A
*class of algebras*is defined in a precise sense as an algebraic object in the*groupoid category*. - {\mathbf Monad on a category , and a T-algebra in } Let us consider a category , two functors: (called the
*monad functor*) and , and two natural transformations: and . The triplet is called a monad on the category**Failed to parse (syntax error): {\displaystyle \mathcal{C }**}. Then, a*T-algebra*is defined as an object of a category together with an arrow called the*structure map*in such that: # - #
- where: and #
- {\mathbf Category of Eilenberg-Moore algebras of a monad } An important definition related to abstract classes of algebras and universal algebras is that of the category of Eilenberg-Moore algebras of a monad : The category of -algebras and their morphisms is called the
*Eilenberg-Moore category*or*category of Eilenberg-Moore algebras*of the monad T.

### Pertinent remarks:[edit | edit source]

- {\mathbf a. Algebraic category definition} With the above definition, one can also define a \emph{category of classes of algebras and their associated groupoid homomorphisms} which is then an algebraic category. Another example of algebraic category is that of the category of C*-algebras. Generally, a category is called
*algebraic*if it is monadic over the category of sets and set-theoretical mappings, ; thus, a functor is called*monadic*if it has a left adjoint forming a*monadic adjunction*with and being, respectively, the unit and counit; such a*monadic adjunction*between categories and is defined by the condition that category is equivalent to the to the Eilenberg-Moore category for the monad - b. Equivalence classes Although all classes can be regarded as equivalence, weak equivalence, etc., classes of algebras (either specific or general ones), do not define identical, or even isomorphic structures, as the notion of `equivalence' can have more than one meaning even in the algebraic case.

### Algebraic representations[edit | edit source]

- group representations
- groupoid representations
- Convolution C*-algebra groupoid representations
- Functorial representations and representable functors
- Categorical group representations
- Algebroid representations
- Quantum Algebroid (QA) representations
- Double groupoid representations
- Double Algebroid representations
- Grassman-Hopf representations