Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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.
added what seems to be the original reference defining pseudofunctors from a 1-category to $Cat$:
with a comment that it’s not yet called “pseudo-functor” there.
(Curiously, in SGA1 it’s the other way around: the term “pseudo-functor” is used but the definition is not given!?)
added pointer to:
1 to 7 of 7