Commit 2024-06-30 08:05 7d9b08cd
View on Github →feat(Bicategory/Functor): add OplaxFunctor.map₂Iso
and Pseudofunctor.map₂Iso
(#13900)
This PR adds OplaxFunctor.map₂Iso
and Pseudofunctor.map₂Iso
, analogous to Functor.mapIso
, and develops the corresponding API.