Commit 2022-02-10 13:11 c3d87824
View on Github →feat(category_theory/bicategory/functor_bicategory): bicategory structure on oplax functors (#11405) This PR defines a bicategory structure on the oplax functors between bicategories.
feat(category_theory/bicategory/functor_bicategory): bicategory structure on oplax functors (#11405) This PR defines a bicategory structure on the oplax functors between bicategories.