1: \begin{definition}

2: \label{wgraphicalnerve}

3: The \textbf{wheeled properadic nerve} \index{wheeled properadic nerve} \index{nerve!wheeled properadic} is the functor

4: \[\label{note:wnerve}

5: \nicexy{

6: \wproperad \ar[r]^-{N} & \gwheelcset

7: }\]

8: defined by

9: \[

10: (N\sP)(G) = \wproperad(G,\sP)

11: \]

12: for $\sP \in \wproperad$ and $G \in \Gammaw$.    In the context of the factorization of a wheeled graphical map $G \to K \in \Gammaw$ (Theorem \ref{thm:gwheelcepimono}), the map

13: \[

14: \nicexy{

15: (N\sP)(K) = \wproperad(K,\sP) \ar[r] &

16: \wproperad(G,\sP) = (N\sP)(G)}

17: \]

18: is a composition of maps of the following form:

19: \begin{itemize}

20: \item

21: deletion of an entry (for an outer dioperadic coface map);

22: \item

23: dioperad composition of $\sP$ (for an inner dioperadic coface map);

24: \item

25: contraction of $\sP$ (for an inner contracting coface map);

26: \item

27: isomorphism (for an outer contracting coface map);

28: \item

29: colored units of $\sP$ (for a codegeneracy map).

30: \end{itemize}

31: \end{definition}

32: