mathlib
6abb6de9 - feat(category_theory/bicategory): monoidal categories are single object bicategories (#13157)

Commit

4 years ago

feat(category_theory/bicategory): monoidal categories are single object bicategories (#13157) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

823699fb

mathlib 6abb6de9 - feat(category_theory/bicategory): monoidal categories are single object bicategories (#13157)

mathlib
6abb6de9 - feat(category_theory/bicategory): monoidal categories are single object bicategories (#13157)