Spahn Monads and the Barr-Beck Theorem (Rev #3, changes)

Showing changes from revision #2 to #3: Added | ~~Removed~~ | ~~Chan~~ged

3.1 $(\infty,1)$ -Categories of Endofunctors

For an $(\infty,1)$ -category $M$ the $(\infty,1)$ -category $Fun(M,M)$ is a monoid object in the category $sSet$ and $M$ is endowed with a ( $1$ -categorial) left action of $Fun(M,M)$ and this action is universal among left actions on $M$ .. .

~~This~~ Recall ~~statement~~ how ~~shall~~ the be ~~lifted~~ to $(\infty,1)$ -Grothendieck construction works in the following example: Let $I$ be a $1$ -category, let $f:N(I)\to (\infty,1)Cat$ be a diagram. We obtain the desired cartesian fibration $X\to N(I)$ by first replacing $f$ by a simplicial functor $F:N_{coh}(I)^{op}\to sSet^+$ where $N_{coh}$ denotes the homotopy coherent nerve functor and $sSet^+$ denotes the category of marked simplicial sets. $F$ is a weakly fibrant object of $(sSet^+)^{N_{coh}(I)^{op}}$ . Applying the unstraightening functor? $Un^+_{N(J)}$ we obtain a fibrant object $sSet^+/N(I)$ which we identify with the desired cartesian fibration $p:X\to N(I)$ .

Definition (relative nerve)

Let $I$ be a category, let $f:J\to sSet$ be a functor. The nerve of $I$ relative $f$ denoted by $N_f(I)$ is defined as follows: Let $J$ be a finite linear order, the a map $\Delta^J\to N_f(I)$ consists of:

a functor $s:J\to I$

for every nonempty subset $J^\prime\subset J$ having a maximal element $j^\prime$ , a map $\tau(J^\prime):\Delta^{J}\to f(\sigma(j^\prime))$ .

satisfying properties.

This statement shall be lifted to $(\infty,1)$ .

~~mapping simplex: Let $\phi:A^0\leftarrow A^1\leftarrow \dots\leftarrow A^n$ be a composable sequence of maps of simplicial sets. The mapping simplex of $\phi$ is denoted by $M(\phi)$ .~~

Definition (relative nerve)

Let $I$ be a category, let $f:I\to sSet$ be a functor. The nerve of $I$ relative $f$ denoted by $N_f(I)$ is defined as follows: Let $J$ be a finite linear order, the a map $\Delta^J\to N_f(I)$ consists of:

a functor $s:J\to I$
for every nonempty subset $J^\prime\subset J$ having a maximal element $j^\prime$ , a map $\tau(J^\prime):\Delta^{J}\to f(\sigma(j^\prime))$ .
satisfying properties.

Definition (composition monoidal structure)

Let $M$ be a simplicial set. Let $End^{\otimes}(M):=N_E(\Delta^{op})$ and $\overline{End^\otimes}(M):=N_{\overline E}(\Delta^{op})$ .

Let now $M$ be a $(\infty,1)$ -category.

The map $p:End^{\otimes}(M)\to N(\Delta)^{op}$ determines a monoidal structure on the $(\infty,1)$ -category $Fun(M,M)\simeq End^\otimes_{[1]}(M)$ .

The map $q:\overline{End^\otimes}\to End^\otimes(M)$ exhibits $M\simeq \overline{End^\otimes_{[0]}}(M)$ as left tensored over $Fun(M,M)$ .

This monoidal structure on $Fun(M,M)$ is called the composition monoidal structure.

mapping simplex: Let $\phi:A^0\leftarrow A^1\leftarrow \dots\leftarrow A^n$ be a composable sequence of maps of simplicial sets. The mapping simplex of $\phi$ is denoted by $M(\phi)$ .

Definition (composition monoidal structure)

Let $M$ be an a simplicial set. Let ${End}^{\otimes} (∞ M,) 1 : = N_{E} (Δ^{op})$ ~~(\infty,1)~~ End^{\otimes}(M):=N_E(\Delta^{op}) ~~-category.~~ ~~Then~~ and a~~monad on $M$~~ $\overline{End^\otimes}(M):=N_{\overline E}(\Delta^{op})$ . is ~~defined~~ to an ~~algebra~~ ~~object~~ in ~~$Fun(M,M)$~~

Let now $M$ be a $(\infty,1)$ -category.

The map $p:End^{\otimes}(M)\to N(\Delta)^{op}$ determines a monoidal structure on the $(\infty,1)$ -category $Fun(M,M)\simeq End^\otimes_{[1]}(M)$ .
The map $q:\overline{End^\otimes}\to End^\otimes(M)$ exhibits $M\simeq \overline{End^\otimes_{[0]}}(M)$ as left tensored over $Fun(M,M)$ .

This monoidal structure on $Fun(M,M)$ is called the composition monoidal structure.

Definition

Let $M$ be an $(\infty,1)$ -category. Then a monad on $M$ is defined to an algebra object in $Fun(M,M)$

Revision on January 29, 2013 at 08:29:28 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.

Spahn Monads and the Barr-Beck Theorem (Rev #3, changes)

3.1 (∞,1)(\infty,1)-Categories of Endofunctors

Definition (relative nerve)

Definition (relative nerve)

Definition (composition monoidal structure)

Definition (composition monoidal structure)

Definition

3.1 $(\infty,1)$ -Categories of Endofunctors