[comonoid]

Look at the date of the post :)))