Lambert, Michael (2019-05-02)
A set-valued functor is “flat” if its tensor product extension is finite-limit preserving. Such a functor is flat if, and only if, its category of elements is filtered. Analogously, a category-valued 2-functor on a 2-category ...