categories/cotangent: typo lol
reformatting old stuff