You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Todd Trimble (Mar 21 2022 at 13:39):A friend of mine wants to know where it is explicitly written out that the Stasheff pentagon commutes in any category with finite cartesian products. Surely this appears in the literature or in a textbook somewhere. Can anyone give a pointer? (I'm not looking for someone to give the proof; just a citation, please.)
Reid Barton (Mar 21 2022 at 13:46):Well, there is a half-sentence summary of the proof in CWM (VII.1)
Reid Barton (Mar 21 2022 at 13:46):
Todd Trimble (Mar 21 2022 at 13:48):Thanks, Reid. I'll touch base with my friend to see if this is sufficient for him. (My spidey sense is that he wants to locate something less breezy and more pedagogical.)