Commit 2025-01-20 13:12 b7334524
View on Github →feat(CategoryTheory): localization of trifunctors (#20788) In this PR, we study the localization of functors in three variables (similarly as #19894 was the case of functors in two variables). This shall be used in #12728 in order to obtain a monoidal structure on certain localized categories.