Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904705 | Advances in Mathematics | 2018 | 48 Pages |
Abstract
As an application, we establish the 2-dimensional theory of flat pseudofunctors. We define a Cat-valued pseudofunctor to be flat when its left bi-Kan extension along the Yoneda 2-functor preserves finite weighted bilimits. We introduce a notion of 2-filteredness of a 2-category with respect to a class Σ, which we call Ï-filtered. Our main result is: A pseudofunctorAâ¶Catis flat if and only if it is a Ï-filtered Ï-bicolimit of representable 2-functors. In particular the reader will notice the relevance of this result for the development of a theory of 2-topoi.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
M.E. Descotte, E.J. Dubuc, M. Szyld,