View source for Triple

<!--
t0943001.png
$#A+1 = 138 n = 1
$#C+1 = 138 : ~/encyclopedia/old_files/data/T094/T.0904300 Triple,
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

''monad, on a category  $  \mathfrak R $''

A [[Monoid|monoid]] in the [[Category|category]] of all endomorphism functors on  $  \mathfrak R $. 
In other words, a triple on a category  $  \mathfrak R $
is a covariant functor  $  T:  \mathfrak R \rightarrow \mathfrak R $
endowed with natural transformations  $  \eta :   \mathop{\rm Id} _ {\mathfrak R }  \rightarrow T $
and  $  \mu :  T  ^ {2} \rightarrow T $(
here  $   \mathop{\rm Id} _ {\mathfrak R }  $
denotes the identity functor on  $  \mathfrak R $) 
such that the following diagrams are commutative:

$$ 

\begin{array}{crclc}
T ( X)  &  \mathop \rightarrow \limits ^ { {T ( \eta _ {X} ) }}    &T  ^ {2} ( X)  & \leftarrow ^ { {\eta _ {T}  ( X) } }   &T ( X)  \\
{}  &{} _ {1 _ {T ( X) }  } \searrow  &size - 3 {\mu _ {X} } \downarrow  &\swarrow _ {1 _ {T ( X) }  }  &{}  \\
{}  &{}  &T ( X)  &{}  &{}  \\
\end{array}

$$

$$ 

\begin{array}{rcl}
T  ^ {3} ( X)  &  \mathop \rightarrow \limits ^ { {T ( \mu _ {X} ) }}    &T  ^ {2} ( X)  \\
size - 3 {\mu _ {T ( X) }  }  \downarrow  &{}  &\downarrow  size - 3 {\mu _ {X} }  \\
T
 ^ {2} ( X)  &  \mathop \rightarrow \limits _ { {\mu _ {X} }}    &T ( X)  \\
\end{array}

$$

A triple is sometimes called a standard construction, cf. [[#References|[2]]].

For any pair of adjoint functors  $  F :  \mathfrak R \rightarrow \mathfrak L $
and  $  G:  \mathfrak L \rightarrow \mathfrak R $(
see [[Adjoint functor|Adjoint functor]]) with unit and co-unit of adjunction  $  \eta :   \mathop{\rm Id} _ {\mathfrak R }  \rightarrow GF $
and  $  \epsilon :  FG \rightarrow  \mathop{\rm Id} _ {\mathfrak R }  $, 
respectively, the functor  $  T = GF:  \mathfrak R \rightarrow \mathfrak R $
endowed with  $  \eta :   \mathop{\rm Id} _ {\mathfrak R }  \rightarrow T $
and  $  \mu = G ( \epsilon _ {F} ):  T  ^ {2} \rightarrow T $
is a triple on  $  \mathfrak R $. 
Conversely, for any triple  $  ( T, \eta , \mu ) $
there exist pairs of adjoint functors  $  F $
and  $  G $
such that  $  T = GF $, 
and the transformations  $  \eta $
and  $  \mu $
are obtained from the unit and co-unit of the adjunction in the manner described above. The different such decompositions of a triple may form a proper class. In this class there is a smallest element (the Kleisli construction) and a largest element (the Eilenberg–Moore construction).

===Examples.===

1) In the category of sets, the functor which sends an arbitrary set to the set of all its subsets has the structure of a triple. Each set  $  X $
is naturally imbedded in the set of its subsets via singleton sets, and to each set of subsets of  $  X $
one associates the union of these subsets.

2) In the category of sets, every representable functor  $  H _ {A} ( X) = H ( A, X) $
carries a triple: The mapping  $  \eta _ {X} :  X \rightarrow H ( A, X) $
associates to each  $  x \in X $
the constant function  $  f _ {x} :  A \rightarrow X $
with value  $  x $; 
the mapping  $  \mu _ {X} :  H ( A, H ( A, X)) \simeq H ( A \times A, X) \rightarrow H ( A, X) $
associates to each function of two variables its restriction to the diagonal.

3) In the category of topological spaces, each topological group  $  G $, 
with unit  $  e $, 
enables one to define a functor  $  T _ {G} ( X) = X \times G $
that carries a triple: Each element  $  x \in X $
is taken to the element  $  ( x, e) $
and the mapping  $  \mu :  X \times G \times G \rightarrow X \times G $
is defined by  $  \mu _ {X} ( x, g, g  ^  \prime  ) = ( x, gg  ^  \prime  ) $.

4) In the category of modules over a commutative ring  $  R $, 
each (associative, unital)  $  R $-
algebra  $  A $
gives rise to a triple structure on the functor  $  T _ {A} ( X) = X \otimes _ {R} A $, 
in a manner similar to Example 3).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J.F. Adams,   "Infinite loop spaces" , Princeton Univ. Press  (1978)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Godement,   "Topologie algébrique et théorie des faisceaux" , Hermann  (1958)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.Sh. Tsalenko,   E.G. Shul'geifer,   "Categories"  ''J. Soviet Math.'' , '''7''' :  4  (1977)  pp. 532–586  ''Itogi Nauk. i Tekhn. Algebra Topol. Geom.'' , '''13'''  (1975)  pp. 51–148</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  S. MacLane,   "Categories for the working mathematician" , Springer  (1971)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  E.G. Manes,   "Algebraic theories" , Springer  (1976)</TD></TR></table>

====Comments====
The non-descriptive name  "triple"  for this concept has now largely been superseded by  "monad" , although there is an obstinate minority of category-theorists who continue to use it. A comonad (or cotriple) on a category  $  \mathfrak R $
is a monad on  $  \mathfrak R  ^ {op} $; 
in other words, it is a functor  $  T:  \mathfrak R \rightarrow \mathfrak R $
equipped with natural transformations  $  \epsilon :  T \rightarrow  \mathop{\rm Id} _ {\mathfrak R }  $
and  $  \delta :  T \rightarrow T  ^ {2} $
satisfying the duals of the commutative diagrams above. Every adjoint pair of functors ( $  F \dashv G $) 
gives rise to a comonad structure on the composite  $  FG $, 
as well as a monad structure on  $  GF $.

An important example of a functor which carries a comonad structure is  $  \Lambda :   \mathop{\rm Ring} \rightarrow  \mathop{\rm Ring} $, 
$  \Lambda ( A)= 1+ tA[[ t]] $, 
or, equivalently, the functor of big Witt vectors, cf. [[Lambda-ring| $  \lambda $-
ring]]; [[Witt vector|Witt vector]]. A special case of the natural transformation  $  W( A) \rightarrow \Lambda ( W( A)) $
occurs in algebraic number theory as the [[Artin–Hasse exponential]], [[#References|[a5]]].

Monads in the category of sets can be equivalently described by sets  $  T( n) $
of  $  n $-
ary operations for each cardinal number (or set)  $  n $; 
$  \eta _ {n} :  n \rightarrow T( n) $
gives the projection operations  $  ( x _ {1} , x _ {2} ,\dots) \mapsto x _ {i} $, 
and  $  \mu $
gives the rules for composing operations. See [[#References|[5]]] or [[#References|[a1]]]. This approach extends to monads in arbitrary categories, but it has not proved useful in general, as it has in or near sets.

Of the two canonical ways of constructing an adjunction from a given monad, mentioned in the main article above, the Eilenberg–Moore construction (or category of  $  T $-
algebras) is by far the more important. Given a monad  $  ( T, \eta , \mu ) $
on a category  $  \mathfrak R $, 
a  $  T $-
algebra in  $  \mathfrak R $
is a pair  $  ( A, \alpha ) $
where  $  \alpha :  TA \rightarrow A $
is a morphism such that

$$ 

\begin{array}{lcr}
A  \rightarrow ^ { {\eta _ A} }   &TA  & \leftarrow ^ { {\mu _ A} }  T  ^ {2} A  \\
{} _ {1 _ {A}  } \nwarrow  &size - 3 \alpha  \downarrow  &\downarrow  size - 3 {T _ {A} }  \\
{}  & A  & \leftarrow _  \alpha   TA  \\
\end{array}

$$

commutes. A homomorphism of  $  T $-
algebras  $  ( A, \alpha ) \rightarrow ( B, \beta ) $
is a morphism  $  f:  A \rightarrow B $
in  $  \mathfrak R $
such that

$$ 

\begin{array}{rcl}
TA  & \rightarrow ^ { Tf }   &TB  \\
size - 3 \alpha  \downarrow  &{}  &\downarrow  size - 3 \beta  \\
 A  &\rightarrow _ { f }  & B  \\
\end{array}

$$

commutes; thus, one has a category  $  \mathfrak R  ^ {T} $
of  $  T $-
algebras, with an evident forgetful functor  $  G  ^ {T} :  \mathfrak R  ^ {T} \rightarrow \mathfrak R $. 
The functor  $  G  ^ {T} $
has a left adjoint  $  F ^ { T } $, 
which sends an object  $  A $
of  $  \mathfrak R $
to the  $  T $-
algebra  $  ( TA, \mu _ {A} ) $, 
and the monad induced by the adjunction ( $  F ^ { T } \dashv G  ^ {T} $) 
is the one originally given.

Now the Kleisli category of  $  ( T, \eta , \mu ) $
is just the full subcategory of  $  \mathfrak R  ^ {T} $
on the objects  $  F ^ { T } ( A) $: 
the category of free algebras (cf. also [[Category|Category]]).

For a monad  $  ( T, \eta , \mu ) $
on  $  \mathfrak R $, 
in the Kleisli construction the category  $  \mathfrak L $
has as objects the objects of  $  \mathfrak R $, 
and as hom-sets the sets

$$ 
\mathfrak L ( A, B)  =  \mathfrak R ( A, TB).
$$

The composition rule for  $  \mathfrak L $
assigns to  $  f \in \mathfrak L ( A, B) $
and  $  g \in \mathfrak L ( B, C) $
the  $  \mathfrak R $-
composite:

$$ 
[ A  \rightarrow ^ { T }   TB  \rightarrow ^ { T( }  g)  TTC  \rightarrow ^ { {\mu _ C} }  TC ]  \in \ 
\mathfrak L ( A, C);
$$

as identity mapping  $  1 _ {A} \in \mathfrak L ( A, A) = \mathfrak R ( T, TA) $
one uses the  $  \mathfrak R $-
morphism  $  \eta _ {A} :  A \rightarrow TA $.

An adjoint pair  $  F:  \mathfrak R \rightarrow \mathfrak L $, 
$  U:  \mathfrak L \rightarrow \mathfrak R $
is obtained by setting  $  F( A)= A $
for  $  A \in \mathfrak R $,

$$ 
F( f)  =  \eta _ {B} \circ f :  A  \rightarrow  B  \rightarrow  TB  \in  \mathfrak R ( A, TB)  =  \mathfrak L ( A, B)
$$

for  $  f \in \mathfrak R ( A, B) $, 
$  U( B)= TB $
for  $  B \in \mathfrak L $, 
and  $  U( g ) = \mu _ {G} \circ T( g) $
for  $  g \in \mathfrak L ( B, C)= \mathfrak R ( B, TC) $.

Then  $  \eta $
will serve as unit for the adjunction, while the co-unit  $  \epsilon :  FU \rightarrow  \mathop{\rm Id} _ {\mathfrak L }  $
is given by

$$ 
\epsilon _ {B}  =   \mathop{\rm Id} _ {T(} B)  \in  \mathfrak R ( TB, TB)  =  \mathfrak L
( FUB, B).
$$

Co-algebras are defined in the same manner. In practice, co-algebras very often occur superposed on algebras; a comonad  $  G $
will be constructed on a category of algebras of some sort,  $  \mathfrak R $, 
leading to the category  $  {}  ^ {G} \mathfrak R $
of bi-algebras. An important class of cases involves a monad  $  T $
and a cotriple  $  G $
on the same category  $  \mathfrak R $. 
There is a standard lifting of  $  G $
to a cotriple  $  G  ^ {*} $
on  $  \mathfrak R  ^ {T} $. 
A  "TG-bi-algebraTG-bi-algebra"  means an object of  $  {} ^ {G  ^ {*} } ( \mathfrak R  ^ {T} ) $; 
the reverse order is also possible, but rarely occurs, and the objects would not be called bi-algebras.

For the role of comonads in (algebraic) cohomology theories see [[Cohomology of algebras|Cohomology of algebras]] and [[#References|[a2]]], [[#References|[a3]]]; particularly [[#References|[a2]]] for explicit interpretation.

An adjunction is said to be monadic (or monadable) if the Eilenberg–Moore construction applied to the monad it induces yields an adjunction equivalent to the original one. Many important examples of adjunctions are monadic; for example, for any [[Variety of universal algebras|variety of universal algebras]], the forgetful functor from the variety to the category of sets and its left adjoint (the free algebra functor) form a monadic adjunction.

A monad  $  ( T, \eta , \mu ) $
is said to be idempotent if  $  \mu $
is an isomorphism. In this case it can be shown that any  $  T $-
algebra structure  $  \alpha $
on an object  $  A $
is necessarily a two-sided inverse for  $  \eta _ {A} $, 
and hence that  $  \mathfrak R  ^ {T} $
is isomorphic to the full subcategory  $   \mathop{\rm Fix} ( T) \subset  \mathfrak R $
consisting of all objects  $  A $
such that  $  \eta _ {A} $
is an isomorphism.  $   \mathop{\rm Fix} ( T) $
is a [[Reflective subcategory|reflective subcategory]] of  $  \mathfrak R $, 
the left adjoint to the inclusion being given by  $  T $
itself. Conversely, for any reflective subcategory of  $  \mathfrak R $, 
the monad on  $  \mathfrak R $
induced by the inclusion and its left adjoint is idempotent; thus, the adjunctions corresponding to reflective subcategories are always monadic.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Barr,   C. Wells,   "Toposes, monads, and theories" , Springer  (1985)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.W. Duskin,   "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094300/t094300142.png" />-torsors and the interpretation of  "monad"  cohomology"  ''Proc. Nat. Acad. Sci. USA'' , '''71'''  (1974)  pp. 2554–2557</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J.W. Duskin,   "Simplicial methods and the interpretation of  "monad"  cohomology"  ''Mem. Amer. Math. Soc.'' , '''3'''  (1975)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J. Adamek,   H. Herrlich,   G.E. Strecker,   "Abstract and concrete categories" , Wiley (Interscience)  (1990)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M. Hazewinkel,   "Formal groups" , Acad. Press  (1978)  pp. Sects. 14.5; 14.6, E2</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  H. Appelgate (ed.)  et al. (ed.) , ''Seminar on monads and categorical homology theory ETH 1966/7'' , ''Lect. notes in math.'' , '''80''' , Springer  (1969)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  S. Eilenberg,   J.C. Moore,   "Adjoint functors and monads"  ''Ill. J. Math.'' , '''9'''  (1965)  pp. 381–398</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  S. Eilenberg (ed.)  et al. (ed.) , ''Proc. conf. categorical algebra (La Jolla, 1965)'' , Springer  (1966)</TD></TR></table>