Commit 2022-01-11 11:13 b7f8f725

View on Github →

feat(category_theory/bicategory/functor): define oplax functors and their composition (#11277) This PR defines oplax functors between bicategories and their composition.

Estimated changes