Fix [fail] level in Category.v
Fix [fail] level in Category.v

Also, use [first], so it works better.

--HG--
branch : limit-functors

JasonGross/catdb,CategoricalData/catdb,JasonGross/catdb,CategoricalData/catdb