# Commit 2021-12-18 20:11 289ebe58

View on Github →chore(category_theory/monoidal/End): Adding API for monoidal functors into `C ⥤ C`

(#10841)
Needed for the shift refactor

Mathlib v3 is deprecated. Go to Mathlib v4

chore(category_theory/monoidal/End): Adding API for monoidal functors into `C ⥤ C`

(#10841)
Needed for the shift refactor