██████ (█████████████████)

Eine ██████ ist im ██████████████ ██████████ der █████████████████ eine ████████, die ███████ ███████ ███████████ mit den ████████ der ███████ ████████.

██████████

Eine ██████ ist ein ██████ $(T,\eta ,\mu )$ aus

einem ███████ $T$ von einer █████████ ${\mathcal {C}}$ in sich ██████, das █████
$T\colon {\mathcal {C}}\to {\mathcal {C}}$
einer ███████████ ██████████████ $\eta \colon 1_{\mathcal {C}}\to T$ (dabei █████ $1_{\mathcal {C}}$ ███ den █████████████████ ${\mathcal {C}}\to {\mathcal {C}}$ )
einer ███████████ ██████████████ $\mu \colon T^{2}\to T$ (dabei █████ $T^{2}$ ███ $T\circ T$ ),

so dass die █████████ ███████████, die ███ auch die ██████ der ██████ █████, ███████ sind:

$\mu \circ T\mu =\mu \circ \mu T$ , das █████ das ████████ ████████ ██████████:

$\mu \circ \eta T=\mu \circ T\eta =1$ , das █████ das ████████ ████████ ██████████:

████████ ████████ die ██████████████ der █████████, dass ███ █████ ██████ $X$ in ${\mathcal {C}}$ die beiden █████████

und

███████████. Dabei sind $T\mu$ und $\mu T$ die durch $(T\mu )_{X}\colon =T(\mu _{X})$ und $(\mu T)_{X}:=\mu _{T(X)}$ ███████████ ███████████ ████████████████, ██████████████ ████ ███ $T\eta$ und $\eta T$ . Die ███████████ ████████████████ $\eta$ und $\mu$ █████ ███ auch ███████ und ██████████████ der ██████.

████████ ██████

Ein ████████ ███ eine ██████ sind ██████. Es █████████ $[x_{1},\dotsc ,x_{n}]$ die █████ mit den █████████ $x_{1}$ bis $x_{n}$ , █████ mit $n=0$ auch die █████ █████ ██████████ ist. ██████ sind █████, die ███ ████ der █████████████████ █████ mit ███████ ████████ █████████. Das ████████ ██████ $(T,\eta ,\mu )$ ist eine ██████ in der █████████ der ██████ $\mathbf {Set}$ :