1
$\begingroup$

I am trying to motivate using infinity categories by saying that there is no action $\pi_1(B,b_0) \curvearrowright C^*(F)$ where $F \hookrightarrow E \to B$ is a fibration. Define the strict infinity groupoid $\Pi_\infty(B,b_0)$ to have one zero simplex. The $n$ simplexes are singular $n-$ simplexes that map every edge to the basepoint $b_0$ of $B$.

Does $\Pi_\infty(B,b_0)$ act on $C^*(F)$? Does it act on $F$?

$\endgroup$
1
  • $\begingroup$ Yup${}{}{}{}{}$ $\endgroup$
    – user98602
    Jan 27, 2017 at 3:53

0

You must log in to answer this question.