Mistakes
The theory of cocategories is not as promising as I had hoped. The main example that motivated much of the theory does not actually satisfy the definition because the condition of coassociativity is too strong. This was a very elementary mistake. It send me down a six-month rabbit hole.