  
  [1X11 [33X[0;0YMonoidal Categories[133X[101X
  
