Commit 2023-11-10 13:54 89e204a7

View on Github →

feat(CategoryTheory): Trifunctors obtained by composition of bifunctors (#8240)

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Functor/Trifunctor.lean

added def CategoryTheory.bifunctorComp₁₂

added def CategoryTheory.bifunctorComp₁₂Obj

added def CategoryTheory.bifunctorComp₂₃

added def CategoryTheory.bifunctorComp₂₃Obj