Andrea Laretto
Results
1
issues of
Andrea Laretto
We were working on something that often requires isomorphism reasoning on categories (and, by extension, domains and codomains of functors). Currently, there are two different versions of equivalence of Categories...