nLab pseudosimplicial object

Given a 2-category (strict 2-category or bicategory) CC, the pseudosimplicial object in CC is a pseudofunctor, that is a 2-functor Δ opC\Delta^{op}\to C in the pseudosense (associativity coherences preserved up to invertible 2-cells), and where the category of finite ordinals and monotone maps Δ\Delta is viewed as a 1-category or equivalently a 2-category with only trivial 2-cells. For example, we can consider pseudosimplicial categories.

See also pseudocoherence?.

Last revised on July 3, 2020 at 04:30:36. See the history of this page for a list of all contributions to it.