CAP_project
CAP_project copied to clipboard
Inverse of natural isomorphism
Issue by sebasguts
Tuesday Sep 30, 2014 at 12:06 GMT
Originally opened as https://github.com/sebasguts/CAP/issues/10
The inverse of a natural isomorphism can be computed using the inverse of the categories of the functor.