Zulip Chat Archive
Stream: Is there code for X?
Topic: Is there code for curried bifunctors?
Fernando Chu (Jul 03 2025 at 07:57):
There are some lemmas for uncurried bifunctors here. Is there similar code for the curried version?
If not, should I just make a file in Category/Functor? Similarly to Trifunctor.
Joël Riou (Jul 03 2025 at 09:14):
There are some definitions in Mathlib.CategoryTheory.Whiskering.
Last updated: Dec 20 2025 at 21:32 UTC