Prove that the version of adjoint with both (co)units is equivalent to others
Prove that the version of adjoint with both (co)units is equivalent to others

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