CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Inverse of natural isomorphism

Open sebasguts opened this issue 9 years ago • 0 comments

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.

sebasguts avatar Apr 10 '15 09:04 sebasguts