Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeDec 17th 2012

I added a section on strictification of pseudofunctors $C \to Cat$ to pseudofunctor, after seeing Finn and Mike respond to Karol in the stable monoidal derivator thread at the Café. The discussion is fairly sketchy and pedestrian. Also added a few references.

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeDec 17th 2012

Looks good, thanks! I made the statement of the theorem a little more precise: it’s not just an equivalence of categories, but an isomorphism.

• CommentRowNumber3.
• CommentAuthorJohn Baez
• CommentTimeDec 23rd 2020

Added theorem saying that every pseudofunctor can be “normalized”.

• CommentRowNumber4.
• CommentAuthorAlec Rhea
• CommentTimeMar 5th 2021

Added definition of composition of pseudofunctors for posterity, changed notation slightly.