text/ncat.tex
changeset 555 11532ce39ec0
parent 552 c2091a3ebcc3
child 557 5fdf1488ce20
equal deleted inserted replaced
554:62d6db8c2ead 555:11532ce39ec0
  1352 
  1352 
  1353 We can define marked pinched products $\pi:E\to M$ of marked balls analogously to the 
  1353 We can define marked pinched products $\pi:E\to M$ of marked balls analogously to the 
  1354 plain ball case.
  1354 plain ball case.
  1355 Note that a marked pinched product can be decomposed into either
  1355 Note that a marked pinched product can be decomposed into either
  1356 two marked pinched products or a plain pinched product and a marked pinched product.
  1356 two marked pinched products or a plain pinched product and a marked pinched product.
  1357 \nn{should maybe give figure}
  1357 %\nn{should maybe give figure}
  1358 
  1358 
  1359 \begin{module-axiom}[Product (identity) morphisms]
  1359 \begin{module-axiom}[Product (identity) morphisms]
  1360 For each pinched product $\pi:E\to M$, with $M$ a marked $k$-ball and $E$ a marked
  1360 For each pinched product $\pi:E\to M$, with $M$ a marked $k$-ball and $E$ a marked
  1361 $k{+}m$-ball ($m\ge 1$),
  1361 $k{+}m$-ball ($m\ge 1$),
  1362 there is a map $\pi^*:\cM(M)\to \cM(E)$.
  1362 there is a map $\pi^*:\cM(M)\to \cM(E)$.