Def CategoryTheory.bifunctorComp₁₂Obj

Modification history

2025-01-02 12:06

Mathlib/CategoryTheory/Functor/Trifunctor.lean

feat(CategoryTheory): whiskering and curryfication of functors in three variables (#20197)

Modified CategoryTheory.bifunctorComp₁₂Obj View on Github →

2023-11-10 13:54

Mathlib/CategoryTheory/Functor/Trifunctor.lean

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

Added CategoryTheory.bifunctorComp₁₂Obj View on Github →