Add a version of adjoint with both unit and counit
Add a version of adjoint with both unit and counit

Still need to prove it's equivalent to the other versions...

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