End): Adding API for monoidal functors into `C ⥤ C` (#10841)

Commit

4 years ago

chore(category_theory/monoidal/End): Adding API for monoidal functors into `C ⥤ C` (#10841) Needed for the shift refactor

Author

erdOne

Parents