Hi,
$ "before"
#diagram(
spacing:(3em,2em),
let (FXFY_FZ, FX_FYFZ, FXYFZ, FXY_Z, FXFYZ,FX_YZ) = (( 0, 0), ( 1,0), (0,1), (0,2),(1,1),(1,2)),
node(FXFY_FZ,$(F X times.circle F Y) times.circle F Z$ ),
node(FX_FYFZ, $F X times.circle ( F Y times.circle F Z)$),
node(FXYFZ, $F (X times.circle Y) times.circle F Z$),
node(FXY_Z, $F ((X times.circle Y) times.circle Z)$),
node(FXFYZ, $F X times.circle F (Y times.circle Z)$),
node(FX_YZ, $F (X times.circle ( Y times.circle Z))$),
edge(FXFY_FZ,FX_FYFZ,"->",$alpha$),
edge(FXFY_FZ,FXYFZ,"->",$phi times.circle id$),
edge(FXYFZ,FXY_Z,"->",$phi$),
edge(FXY_Z,FX_YZ,"->",$F alpha$),
edge(FX_FYFZ,FXFYZ,"->",$id times.circle phi$,label-side: left),
edge(FXFYZ,FX_YZ,"->",$phi$,label-side: left),
) "after"
$
I would like to have ‘before’ and ‘after’ centered, as well as the numbering in the middle of my diagram.